加权约束满足问题的符号ADD求解算法
徐周波，古天龙，常亮
Symbolic ADD Algorithms for Weighted Constraint Satisfaction Problem
XU Zhou-Bo, GU Tian-Long , CHANG Liang
模式识别与人工智能 . 2011, (1): 14 -21 . 

版权所有 © 《模式识别与人工智能》编辑部
地址：安微省合肥市蜀山湖路350号中国科学院合肥物质科学研究院文情小楼　
邮编：230031
电话：0551-65591176　
E-mail：bjb@iim.ac.cn
技术支持：北京玛格泰克科技发展有限公司