论文部分内容阅读
最大可满足性问题（MAXSAT）是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时，如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结构简单的冲突集的思想，在Maxsatz算法的基础上，提出了改进的算法Maxsatz2013.通过使用推理规则优先、改变单子句的传播顺序、进一步失败文字检测这3个优化策略，增加了检测到的冲突集数，从而有效地提高了下界.测试了MAXSAT 4个类别共800多个算例.实验结果表明，这3个优化冲突集的策略是可行且有效的，所提出的算法在