Stevan Lj Kordić。 沉降算法在求解max-sat问题中的应用。 （英语） Zbl 1458.90548号 数学。蒙蒂斯尼格里 36, 45-57 (2016). 摘要：本文介绍了作者提出的解决组合优化问题的通用算法的一个应用，命名为沉淀算法。它证明了沉淀算法在布尔可满足性问题领域的应用能力，特别是在MAX-2SAT和MAX-3SAT的情况下。实验结果包含了解决MAX-SAT问题的三种不同沉降算法变体之间的比较。 MSC公司： 90C27型 组合优化 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68瓦40 算法分析 关键词：沉降算法;布尔可满足性;最大SAT;解算器;组合优化 PDF格式BibTeX公司 XML格式引用 \textit｛S.Lj.Kordić｝，数学。蒙蒂斯尼格里36，45-57（2016；Zbl 1458.90548）