异或约束相关论文
模型计数(model counting,#SAT)问题旨在计算给定的公式集合中所有模型的个数,绝大部分计算复杂度为#P的问题均可以在多项式时间内......
该文提出了一种在可满足性问题预处理过程中的异或约束提取新方法。相比较之前运算复杂的提取思路,该方法运用简单的加法及奇偶性......
