下界计算相关论文
命题逻辑的可满足性问题(SAT)是计算机科学中的核心问题．最大可满足问题(Max-SAT)是SAT问题的一个自然的扩展．对于给定的CNF公式，Max......
带硬约束的MAX—SAT问题又称为Partial MAX—SAT问题，它是SAT问题和MAX—SAT问题的结合，比后两者有着更强的描述问题的能力和更广泛......
