论文部分内容阅读
约束求解(CSP)是计算机理论界历史悠久的问题,有着广泛的应用。本论文集中讨论了两种CSP问题:SAT和图染色问题,介绍了比较新的SAT算法Survey Propagation(SP)和自己在SP算法上的改进;介绍了自己提出的图染色分割算法Part及两种打破同构的图染色SAT算法X-Zchaff。并给出了相应的实验结果。