关键词: 约束求解, 自主分支, 启发式, 辅助决策

Abstract:

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.

Key words: constraint solving, autonomousbranching, heuristics, aid decision making