论文部分内容阅读
该文从运行机制、运行效率以及运行效果等几个方面对于现存且常用的十几种一致性算法进行了详尽的剖析与研究,在此基础上,提出了新的弧一致性算法和路径一致性算法.并且结合产品配置器的应用,对基于约束的个人计算机ATO型产品配置器的约束结构、约束类型以及适用的算法进行了分析,对具有树状结构约束图的约束满足问题进行了重点的研究和讨沦.