一阶矩方法相关论文
可满足性(SAT)问题是数理逻辑、演绎、自动推理、计算理论中的一个最基本的问题,也是一大族NP完全问题的核心.在该文中,作者主要研......
对于包含n个变量和m=αn个长度为k的子句的CNF公式,人们比较关注公式中最大可满足子句的个数max Fk(MAX k-SAT).当子句密度α比较大......