论文部分内容阅读
在一些约束满足问题（ＣＳＰ）中，使需要进行的约束评价的数目减到最低限度是一个十分重要的问题．本文提出一种改进的回溯算法，它借助基于假设的正确性维护系统ＡＴＭＳ达到了上述目的。
In some CSPs, minimizing the number of constraints that need to be evaluated is a very important issue. This paper presents an improved backtracking algorithm that achieves this goal by maintaining the system ATMS based on the correctness of assumptions.