完全性算法论文

启发式将3-SAT化为2-SAT的DPLL算法
论文摘要可满足性问题（SAT）研究如何判定一个任意给定的逻辑表达式是否存在可满足真值指派。SAT在数理逻辑、人工智能、计算机算法设计与分析以及工程应用等领域有着重要的地位,而且...