可满足解论文

CNF公式赋值空间的结构信息与聚类性质
论文摘要可满足性问题备受计算机科学众多领域的关注,不同形式的组合约束问题都可以在多项式时间内转化为可满足性问题。一种广泛用于研究可满足性问题的方法是将其转换成因子图的形式表示,...