子句信息相关硕士博士期刊学术论文

命题公式的可满足性问题（SAT问题）是判定是否存在一组变元真值赋值使得给定公式为真,MAX-SAT问题是SAT问题的最优化形式,寻找一组变......