雅罗斯拉夫·本迪克;尼古拉·贝内斯;伊万娜·塞尔纳;吉尔·巴纳特 可调在线MUS/MSS枚举。 （英语） Zbl 1391.68099号 Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第50条，第13页。(2016). 摘要：在计算机科学的各个领域，出现了处理一组约束的问题。如果约束集不可满足，人们可能会要求对这种不可满足性的原因进行最低限度的描述。最小不可满足子集和最大可满足子集是这类最小描述的两种。本工作的目标是枚举给定约束系统的MUS和MSSe。由于这种完全枚举一般来说可能很难处理，因此我们将重点放在构建一个在线算法上，该算法在发现MUSe/MSS后立即生成MUSe/MSE。这个问题甚至在其在线版本中也曾被研究过。然而，对于在线MUS/MSS枚举，我们的算法使用了一种新的方法，该方法能够优于当前最先进的算法。此外，我们的算法的性能可以使用可调参数进行调整。我们在一组基准上评估算法。关于整个系列，请参见[兹比尔1354.68012]. 引用于三文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90立方厘米27 组合优化 关键词：最小不可满足子集;最大可满足子集;不满足性分析;不可行性分析 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人，LIPIcs——莱布尼茨国际程序。通知。65，第50条，13~p.（2016；Zbl 1391.68099） 全文： 内政部 arXiv公司