文件大小：493 kB 13页
可调在线MUS/MSS枚举
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
最小不可满足子集 最大可满足子集 不满意分析 不可行性分析
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Zaher S.Andraus、Mark H.Liffiton和Karem A.Sakallah。 揭示：verilog设计的正式验证工具。 在LPAR中，《计算机科学讲义》第5330卷，第343-352页。 施普林格，2008年。 
-
詹姆斯·贝利（James Bailey）和彼得·J·斯塔基（Peter J.Stuckey）。 使用命中集对偶发现约束的最小不可满足子集。 《陈述性语言的实践方面》，第174-186页。 斯普林格，2005年。
-
Jiri Barnat、Petr Bauch和Lubos Brim。 检查软件要求的健全性。 《SEFM 2012会议录》，LNCS第7504卷，第48-62页。 施普林格，2012年。 网址： http://dx.doi.org/10.1007/978-3642-33826-7_4 . -
安东·贝洛夫和若昂·马奎斯·西尔瓦。 MUSer2：一种高效的MUS提取器。 《可满足性、布尔建模与计算杂志》，8:123-1282012。
-
Elazar Birnbaum和Eliezer L.Lozinskii。 不一致系统的一致子集：结构和行为。 J.实验理论。 Artif公司。 整数。， 15(1):25-46, 2003.
-
雷纳托·布鲁尼和安东尼奥·萨萨诺。 通过寻找小的不可满足子公式来恢复可满足性或保持不可满足性。 《离散数学电子笔记》，9:162-1732001。
-
玛丽亚·加西亚·德拉班达（Maria Garcia de la Banda）、彼得·J·斯塔基（Peter J.Stuckey）和杰里米·瓦兹尼（Jeremy Wazny）。 查找所有最小不可满足子集。 《第五届ACM SIGPLAN声明式编程原理与实践国际会议论文集》，第32-43页。 ACM，2003年。
-
Niklas Eén和Niklas Sörensson。 一种可扩展的卫星解算器。 SAT，《计算机科学讲义》第2919卷，第502-518页。 斯普林格，2003年。
-
本杰明·韩和谢绝·李。 从第一性原理出发，利用带有标记集的cs-树来推导诊断中的最小冲突集。 IEEE传输。 《系统、人与控制论》，B部分，29（2）：281-2861999。
-
侯爱民。 从第一原理诊断中的测量理论。 Artif公司。 整数。， 65(2):281-328, 1994.
-
乌尔里希·容克。 QUICKXPLAIN：过度约束问题的首选解释和放松。 在AAAI中，第167-172页。 AAAI出版社/麻省理工学院出版社，2004年。
-
Mark H.Liffiton和Ammar Malik。 列举不可行：快速找到多个缪斯。 2013年5月18日至22日，在美国纽约州约克敦高地举行的第十届国际会议上，《组合优化问题约束编程中人工智能和操作规则技术的集成》。 《计算机科学讲义》第7874卷，第160-175页。 施普林格，2013年。
-
Mark H.Liffiton、Michael D.Moffitt、Martha E.Pollack和Karem A.Sakalah。 识别过度约束的时间问题中的冲突。 在IJCAI中，第205-211页。 专业图书中心，2005年。
-
Mark H.Liffiton、Alessandro Previti、Ammar Malik和Joao Marques-Silva。 快速、灵活的MUS枚举。 限制，第1-28页，2015年。
-
Mark H.Liffiton和Karem A.Sakallah。 计算最小不可满足约束子集的算法。 自动推理杂志，40（1）：1-332008。
-
MUS追踪2011年SAT竞赛。 网址： http://www.cril.univ-artois.fr/SAT11/ . -
尤娜·奥、马赫尔·曼奈姆、扎赫·安德劳斯、卡雷姆·萨卡拉和伊戈尔·马尔科夫。 AMUSE：一种最小限度不可使用的子公式提取器。 在DAC中，第518-523页。 ACM，2004年。
-
亚历山德罗·普雷维蒂（Alessandro Previti）和若昂·马奎斯·西尔瓦（Joáo Marques-Silva）。 部分MUS枚举。 2013年7月14日至18日，《第二十七届美国人工智能学会人工智能会议论文集》，美国华盛顿贝尔维尤出版社，2013年。
-
张林涛和莎拉·马利克。 从不可满足布尔公式中提取小的不可满足核。 SAT，2003年3月。