可满足性问题的异或约束提取方法研究

摘要：

该文提出了一种在可满足性问题预处理过程中的异或约束提取新方法.相比较之前运算复杂的提取思路,该方法运用简单的加法及奇偶性就可以准确快速地实现异或约束的提取,为解决含有异或关系可满足性问题的求解带来了优化改进.

关键词：可满足性问题、合取范式、异或约束

所属期刊栏目：6

分类号：TP301(计算技术、计算机技术)

在线出版日期：2011-03-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：9737-9738