一个求解加权MAX-SAT问题的改进算法

摘要

提出了一种加权MAX-SAT问题求解的改进算法,给出了启发式的命题变量选择方法和新的下界计算方法,改善了加权MAX-SAT问题剪枝效率。当子句规模变大时,其优点更为明显。新的算法具有实现简单、求解速度快、处理变量规模大的特点。