吉林大学学报(理学版)
吉林大學學報(理學版)
길림대학학보(이학판)
JOURNAL OF JILIN UNIVERSITY(SCIENCE EDITION)
2014年
6期
1289-1292
,共4页
王海燕%李闯%张良%董延华
王海燕%李闖%張良%董延華
왕해연%리틈%장량%동연화
约束求解%自主分支%启发式%辅助决策
約束求解%自主分支%啟髮式%輔助決策
약속구해%자주분지%계발식%보조결책
constraint solving%autonomous-branching%heuristics%aid decision making
基于自主分支约束求解方法,提出一种新的自主分支辅助决策约束求解算法AUTO dom/ddeg ,并在标准测试库 Benchmarks 上进行对比实验。实验结果表明,AUTO dom/ddeg算法能显著提高求解效率。
基于自主分支約束求解方法,提齣一種新的自主分支輔助決策約束求解算法AUTO dom/ddeg ,併在標準測試庫 Benchmarks 上進行對比實驗。實驗結果錶明,AUTO dom/ddeg算法能顯著提高求解效率。
기우자주분지약속구해방법,제출일충신적자주분지보조결책약속구해산법AUTO dom/ddeg ,병재표준측시고 Benchmarks 상진행대비실험。실험결과표명,AUTO dom/ddeg산법능현저제고구해효솔。
The authors proposed a new autonomous-branching constraint solving algorithm AUTO dom/ddeg aided by decision making on the basis of the current autonomous-branching constraint solving methods.To verify the efficiency of AUTO dom/ddeg ,abundant comparison experiments on Benchmarks were carried out.The experimental results show that AUTO dom/ddeg can significantly improve the efficiency of constraint solving.