卡洛斯·安索特吉;玛丽亚·路易莎·博内;约尔迪·利维 基于SAT的MaxSAT算法。 （英语） Zbl 1270.68265号 Artif公司。智力。 196, 77-105 (2013). 总结：许多工业优化问题都可以转化为MaxSAT。虽然一般问题像SAT一样是NP难的，但许多实际问题可以使用现代MaxSAT解算器解决。在本文中，我们提出了几种专门为处理工业或实际问题而设计的算法。所有这些都基于通过连续调用SAT解算器来求解MaxSAT的思想。我们表明，这种基于SAT的技术在解决工业问题方面是有效的。事实上，所有在工业实例中表现良好的最先进的MaxSAT解算器都基于此技术。特别是，我们的解算器赢得了2009年部分MaxSAT和2011年MaxSAT评估的加权部分MaxSAT-工业类别。我们证明了所有算法的正确性。我们还提供了一个完整的实验研究，将我们的算法与最新的MaxSAT解算器的性能进行了比较。 引用于35文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人，Artif。智力。196、77——105（2013年；Zbl 1270.68265） 全文： 内政部 链接