沃尔什，托比 SAT（v）CSP。 （英语） Zbl 1044.68808号 Dechter，Rina（编辑），约束编程的原理和实践-CP 2000。第六届国际会议，新加坡，2000年9月18日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41053-8）。勒克特。注释计算。科学。1894, 441-456 (2000). 摘要：我们对约束满足问题（CSP）和命题可满足性（SAT）之间的映射进行了全面研究。我们分析了四种不同的SAT问题到CSP的映射，以及两种CSP到SAT问题的映射。对于每个映射，我们比较了实现电弧一致性对CSP和单位传播对SAT问题的影响。然后，我们将这些结果扩展到在搜索期间保持（某种程度上）电弧一致性的CSP算法，如FC和MAC，以及Davis-Putnam过程（在每个搜索节点执行单元传播）。由于搜索的分支结构不同，结果表明在SAT问题上实现CSP上的弧一致性优于单元传播，但这并不一定意味着MAC优于Davis-Putnam过程。这些结果为命题可满足性和约束满足性之间的关系提供了见解。关于整个系列，请参见[Zbl 0947.00041号]. 引用于36文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68T27型 人工智能中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{T.Walsh}，莱克特。注释计算。科学。189441--456（2000年；Zbl 1044.68808） 全文： 链接