K-SAT相关论文
对于包含n个变量和m=αn个长度为k的子句的CNF公式,人们比较关注公式中最大可满足子句的个数max Fk（MAX k-SAT）.当子句密度α比较大......
在随机k-SAT模型的基础上，针对合取范式的满足性问题进行研究。对于固定的变量数凡，随着子句数m增加，当m／n接近某一值时公式的可满足性......
