BriefGPT.xyz
Jun, 2011
冲突定向回溯重访
Conflict-Directed Backjumping Revisited
HTML
PDF
X. Chen, P. van Beek
TL;DR
本文研究了变量排序和局部一致性对冲突-directed backjumping算法的影响。实验证明,增强前瞻技术有时对回溯算法的后跳技术产生反作用。理论分析表明,在回溯搜索中保持的局部一致性水平越高,后跳的改进效果就越小。
Abstract
In recent years, many improvements to
backtracking algorithms
for solving
constraint satisfaction problems
have been proposed. The techniques for improving
→