Max-SAT相关论文
命题逻辑的可满足性问题(SAT)是计算机科学中的核心问题．最大可满足问题(Max-SAT)是SAT问题的一个自然的扩展．对于给定的CNF公式，Max......
可满足问题在众多的NP完全问题中被称为“种子”问题,是因为这个问题在实际生活中应用非常频繁,它在计算机领域一直备受专家学者关......
