加权约束满足问题的改进RDS符号代数决策图求解算法*
徐周波，杨新亮，古天龙，宁黎华
Improved RDS Symbol Algebraic Decision Diagram Algorithm for Weighted Constraint Satisfaction Problem
XU Zhou-Bo, YANG Xin-Liang, GU Tian-Long, Ning Li-Hua
模式识别与人工智能
.
2015, (12): 1074
-1083
.
DOI: 10.16451/j.cnki.issn1003-6059.201512003
