×
埃里克·格雷戈里;Jean-Marie拉格尼茨;贝特朗·马祖尔

关于去除MUC查找算法中的预处理最小化步骤。 （英语） Zbl 1329.90151号

约束条件 20，第4期，414-432（2015）.
摘要：当约束网络不可满足时，向网络设计者提供一个完整的解释，说明是什么导致了网络没有任何解决方案，这一点至关重要。在这方面，最小的不可满足核心（简而言之，MUC）构成了这种解释的基础。有效的MUC提取器通常由初始不完全最小化步骤制成，该初始不完全最小化步骤提供MUC的上近似值，然后是细化步骤。第一步被认为对整个方法的全球性能至关重要。本文探讨了它的实际重要性。特别是，当精化过程动态利用其自身搜索的信息时，可以跳过第一步。

MSC公司：

90立方厘米 涉及图形或网络的编程

关键词：

CSP公司;约束网络;MUC公司;不可满足性

软件：

乔科;快速拉伸;MUSer2系列
PDF格式BibTeX公司 XML格式引用
\textit{E.Grégoire}等人，约束20，No.4，414--432（2015；Zbl 1329.90151）
全文： 内政部

参考文献：

[1] Bakker，R.R.、Dikker，F.、Tempelman，F.和Wognum，P.M.（1993年）。诊断和解决过定约束满足问题。《第十三届国际人工智能联合会议记录》（IJCAI'93），第1卷，第276-281页。
[2] Belov，A.、Järvisalo，M.和Marques-Silva，J.（2013）。MUS提取中的公式预处理。N.Piterman，&S.Smolka（Eds.）《第19届系统构建和分析工具和算法国际会议论文集》（TACAS 2013），《计算机科学讲义》，第7795卷，第110-125页。斯普林格·Zbl 1381.68146号
[3] Belov，A.、Lync，I.和Marques-Silva，J.（2012）。实现高效MUS提取。AI通讯，97-116·Zbl 1248.68450号
[4] Belov，A.和Marques-Silva，J.（2011）。使用递归模型旋转加速MUS提取。第十一届计算机辅助设计形式方法国际会议论文集（FMCAD 2011），第37-40页。FMCAD。
[5] Belov，A.和Marques-Silva，J.（2012）。MUSer2：一个有效的MUS提取器，系统描述。可满足性杂志。布尔建模与计算，8123-128·Zbl 1322.68178号
[6] Boussemart，F.、Hémery，F.和Lecoutre，C.（2004）。Saís，L.：通过加权约束推进系统搜索。《第16届欧洲人工智能会议论文集》（ECAI'04），第482-486页。巴伦西亚（西班牙）·Zbl 0655.68041号
[7] (2008). 第三届国际CSP解决方案竞赛http://cpai.ucc.ie/08/。 ·Zbl 1322.68178号
[8] (2009). 第四届国际约束求解器竞赛http://cpai.ucc.ie/09/。 ·Zbl 0341.68061号
[9] Eiter，T.和Gottlob，G.（1992年）。命题知识库修改、更新和反事实的复杂性。人工智能，57，227-270·Zbl 0763.68038号 ·doi:10.1016/0004-3702（92）90018-S
[10] 伊利诺伊州格雷戈里。，Lagniez，J.M.和Mazure，B.（2011年）。关注FAC变量的CSP解算器。《第17届约束编程原理与实践国际会议论文集》（CP'11），《计算机科学讲义》，第6876卷，第493-507页。斯普林格·Zbl 0763.68038号
[11] 伊利诺伊州格雷戈里。，Lagniez，J.M.和Mazure，B.（2012年）。放松！。第24届IEEE人工智能工具国际会议（ICTAI’12）论文集，第146-153页。IEEE计算机出版社。
[12] 伊利诺伊州格雷戈里。，Lagniez，J.M.和Mazure，B.（2013年）。松弛约束网络时保留部分解。第23届国际人工智能联合会议记录（IJCAI'13）（第552-558页）。中国：北京。
[13] 伊利诺伊州格雷戈里。，Lagniez，J.M.和Mazure，B.（2014）。在不可满足约束网络中提升MUC提取。应用情报，1-12·Zbl 0763.68038号
[14] Grégoire，E.、Mazure，B.和Piette，C.（2006）。提取MUS。《第17届欧洲人工智能会议论文集》（ECAI'06），第387-391页·Zbl 1322.68178号
[15] 希腊戈伊尔。，Mazure，B.和Piette，C.（2006年）。跟踪MUS和严格的不一致覆盖。《第六届计算机辅助设计形式方法国际会议论文集》（FMCAD 2006），第39-46页。
[16] 希腊戈伊尔。，Mazure，B.和Piette，C.（2007年）。必须：提供不满足性的细粒度解释。《第13届约束编程原理与实践国际会议论文集》（CP’07），第317-331页·Zbl 1145.68516号
[17] 伊利诺伊州格雷戈里。，Mazure，B.和Piette，C.（2008年）。寻找CSP的最小不可满足核心。国际人工智能工具杂志（IJAIT），17（4），745-763·doi:10.1142/S0218213008004138
[18] 伊利诺伊州格雷戈里。，Mazure，B.和Pieter，C.（2006年）。Saïs，L.：一种新的基于启发式但完整的方法，用于从不满意的CSP中提取MUC。《IEEE信息重用和集成国际会议论文集》（IEEE-IRI'06），第325-329页。
[19] Hémery，F.、Lecoutre，C.、Saís，L.和Boussemart，F.（2006）。从约束网络中提取MUC。《第17届欧洲人工智能会议论文集》（ECAI'06），第113-117页。
[20] Junker，U.（2001）。QuickXplain：任意约束传播算法的冲突检测，IJCAI'01约束建模和解决问题研讨会（CONS-1）。
[21] Junker，U.（2004）。QuickXplain：过度约束问题的首选解释和放松。《第19届全国人工智能会议论文集》（AAAI'04），第167-172页。
[22] Jussien，N.和Barichard，V.（2000年）。PaLM系统：基于解释的约束编程。《TRICS会议录：实现约束编程系统的技术》，CP'00会议后研讨会，第118-133页。
[23] Laburthe，F.和OCRE项目团队，T.Choco：实现CP内核。《TRICS会议录：实现约束编程系统的技术》，CP'00会后研讨会。新加坡（2000年）。http://www.choco-constraints.net。
[24] Lagniez，J.M.和Biere，A.（2013年）。分解假设以加快MUS提取。《第16届可满足性测试理论与应用国际会议论文集》（SAT'11），《计算机科学讲义》，第6695卷，第276-292页。斯普林格·兹比尔1390.68601
[25] Lagniez，J.M.，Grégoire，E..和Mazure，B.（2012年）。一种提高CSP求解中局部搜索性能的数据结构。在启发式和自然启发计算国际会议（META'12）上。论文也可从作者的网站上获得pageshttp://www.cril.univ-artois.fr/lagniez/publication.html。
[26] Lecoutre，C.（2009）。约束网络：技术和算法。威利：国际科技百科全书。 ·数字对象标识代码：10.1002/9780470611821
[27] Mackworth，A.K.（1977年）。关系网络的一致性。人工智能，8（1），99-118·Zbl 0341.68061号 ·doi:10.1016/0004-3702（77）90007-8
[28] McAllester，D.、Selman，B.和Kautz，H.A.（1997年）。局部搜索中不变量的证据。第十四届全国人工智能会议（AAAI'97），第321-326页。
[29] Nadel，A.（2010年）。提高最低不满意的核心提取率。《第十届计算机辅助设计形式化方法国际会议论文集》（FMCAD 2010），第221-229页。IEEE标准。
[30] （2014年）。O'Sullivan，B.（Ed.）《第19届约束编程原理与实践国际会议论文集》（CP’2014），《计算机科学讲义》，第8656卷：Springer。
[31] Papadimitriou，C.H.和Wolfe，D.（1988年）。解决了方面的复杂性。《计算机与系统科学杂志》，37（1），2-13·Zbl 0655.68041号 ·doi:10.1016/0022-0000（88）90042-6
[32] Pesant，G.（编辑）（2014年）。约束（期刊），第19卷，Springer。
[33] Rossi，F.、van Beek，P.和Walsh，T.（编辑）（2006年）。约束编程手册。爱思唯尔科学·Zbl 1175.90011号
[34] Ryvchin，V.和Strichman，O.（2011年）。快速提取高水平最小不可满足岩芯。《第14届可满足性测试理论与应用国际会议论文集》，《计算机科学讲义》，第6695卷，第174-187页·Zbl 1331.68211号
[35] (2014). Simonis，H.（Ed.）《第十一届限制编程中人工智能和操作规则技术集成国际会议论文集》（CPAIOR’2014），《计算机科学讲义》，第8451卷：Springer·Zbl 1287.68010号
[36] de Siqueira，N.，J.和Puget，J.F.（1988年）。基于解释的故障概括。《第八届欧洲人工智能会议论文集》（ECAI'88），第339-344页。
[37] Wieringa，S.（2012年）。使用模型旋转来理解、改进和并行MUS查找。《第18届约束编程原理与实践国际会议论文集》（CP'12），《计算机科学讲义》，第7514卷，第672-687页。斯普林格。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。