×
Jip J.德克尔。;古斯塔夫·比约达尔;卡尔森，Mats;皮埃尔·弗莱纳;珍妮·诺埃尔·莫内特

MiniZin子问题预解决的自动稳定。 （英语） Zbl 1425.68386号

约束条件 22，第4期，512-529（2017）.
摘要：一个众所周知且强大的约束模型重新表述是计算模型部件的解决方案，比如自定义约束谓词，并在替换该模型部件的扩展约束内将其制成表格。尽管有可能实现更高的求解性能，但这种表格式的重新制定通常不会尝试，因为执行起来很繁琐；此外，如果成功，它会模糊原始模型。为了鼓励建模者尝试制表，我们扩展了MiniZin工具链，以执行适当注释的谓词定义的自动制表，而无需对解算器进行任何更改，从而消除了繁琐和混淆。我们的实验表明，自动表格生成与手动表格相同的表格，并且表格对几种求解技术的求解者来说是有益的。

引用于2文件

MSC公司：

68分20秒 人工智能背景下的问题解决（启发式、搜索策略等）
90C27型 组合优化

关键词：

预溶;制表;建模方法;迷你锌

软件：

Gecode公司;迷你锌;微型搜索;超小卫星;OR-醇;CHUFFED公司;奥斯卡.cbls
PDF格式BibTeX公司 XML格式引用
\textit{J.J.Dekker}等人，《约束》22，第4期，512-529（2017；Zbl 1425.68386）
全文： 内政部

参考文献：

[1] Abdennadher，S.和Rigotti，C.（2004）。在有限域上自动生成基于规则的约束求解器。ACM计算逻辑汇刊，5（2），177-205·Zbl 1367.68259号 ·数字对象标识代码：10.1145/976706.976707
[2] Belov，G.、Stuckey，P.J.、Tack，G.和Wallace，M.（2016）。改进了约束规划模型的线性化。在Rueher，M.（编辑），CP 2016，LNCS，（第9892卷，第49-65页）：Springer。
[3] Bergman，D.、Cire，A.A.、van Hoeve，W.J.和Hooker，J.（2016）。用于优化的决策图。斯普林格·Zbl 06653190号
[4] Bessière，C.和Régin，J.C.（1999）。通过动态解决子问题，在全局约束上实现弧一致性。Jaffar，J.（编辑），CP 1999，LNCS，（第1713卷，第103-117页）：施普林格·Zbl 0961.68124号
[5] Björdal，G.、Monette，J.N.、Flener，P.和Pearson，J.（2015）。MiniZin的基于约束的本地搜索后端。约束，20（3），325-345·Zbl 1325.90076号 ·doi:10.1007/s10601-015-9184-z
[6] Bofill，M.、Suy，J.和Villaret，M.（2010年）。一个用SMT解决约束满足问题的系统。Strichman，O.，&Szeider，S.（编辑），SAT 2010，LNCS，（第6175卷，第300-305页）：Springer·Zbl 1306.68153号
[7] Carlsson，M.、Johansson，M.和Larson，J.（2017年）。使用约束编程安排具有分区比赛的双圆形锦标赛。欧洲运筹学杂志，259（3），1180-1190·Zbl 1402.90047号 ·doi:10.1016/j.ejor.2016.11.033
[8] Carlsson，M.、Ottosson，G.和Carlson，B.（1997年）。一种开放式有限域约束求解器。在Glaser，H.、Hartel，P.和Kuchen，H.（编辑），PLILP 1997，LNCS，（第1292卷，第191-206页）：Springer·Zbl 1405.68326号
[9] Cheng，K.C.K.，&Yap，R.H.C.（2008）。在特殊的r元约束上保持广义弧的一致性。在Stuckey，P.J.（编辑），CP 2008，LNCS，（第5202卷，第509-523页）：Springer。
[10] Chu，G.（2011）。改进组合优化。计算机与信息系统系博士论文。澳大利亚：墨尔本大学。
[11] De Cat，B.、Bogaerts，B.、Devriendt，J.和Denecker，M.（2013）。使用约束编程在存在功能符号的情况下进行模型扩展。在Brodsky，A.（编辑），ICTAI 2013（第1068-1075页）：IEEE。MinisatID解算器可从https://dtai.cs.kuleuven.be/software/minisatid。 ·Zbl 1367.68259号
[12] De Landtsheer，R.和Ponsard，C.（2013）。OscaR.cbls：基于约束的本地搜索的开源框架，ORBEL-27，比利时运筹学协会第27届年会。可在http://www.orbel.be/orbel27/pdf/abstract293.pdf; OscaR.cbls解算器可从以下位置获得https://bitbucket.org/oscarlib/oscar/branch/CBLS。 ·Zbl 1402.90047号
[13] Dekker，J.J.（2016）。MiniZinc中的子问题预解决。瑞典乌普萨拉大学信息技术系硕士论文。可在http://urn.kb.se/resolve？urn=urn:nbn:se:uu:diva-307145.
[14] Demeulenaere，J.、Hartert，R.、Lecoutre，C.、Perez，G.、Perron，L.、Régin，J和Schaus，P.（2016）。Compact-table：使用可逆稀疏比特集有效过滤表约束。在Rueher，M.（编辑），CP 2016，LNCS，（第9892卷，第207-223页）：Springer·Zbl 1151.90525号
[15] Eén，n.和Biere，A.（2005年）。通过变量和子句消除在SAT中进行有效的预处理。在Bacchus，F.和Walsh，T.（编辑），SAT 2005，LNCS，（第3569卷，第61-75页）：Springer·Zbl 1128.68463号
[16] Gecode团队（2016）。Gecode：通用约束开发环境。http://www.gecode.org。
[17] Gent，I.P.、Jefferson，C.、Kelsey，T.、Lynge，I.、Miguel，I.，Nightingale，P.、Smith，B.M.和塔里木，S.A.（2007）。在耐心游戏“黑洞”中搜索。人工智能通信，20（3），211-226·Zbl 1151.90525号
[18] Gent，I.P.、Jefferson，C.、Linton，S.、Miguel，I.和Nightingale，P.（2014）。为任意约束生成自定义传播器。人工智能，211，1-33·Zbl 1405.68326号 ·doi:10.1016/j.artint.2014.03.001
[19] 谷歌优化团队（2016）。或工具：谷歌的组合优化软件套件。https://developers.google.com/optimization。
[20] IBM知识中心。强约束。http://www.ibm.com/support/knowledgecenter/SSSA5P_12.6.3/ilog.odms.ide.help/OPL_Studio/oplang_quickref/topics/tlr_oplsch_strong.html。 ·Zbl 1325.90076号
[21] Larson，J.和Johansson，M.（2014）。为具有分区和全场比赛的运动联盟制定时间表。体育定量分析杂志，10（2），119-129·doi:10.1515/jqas-2013-0090
[22] Larson，J.、Johansson，M.和Carlsson，M.（2014）。一种综合约束规划方法，用于安排具有分区和全场比赛的运动联盟。Simonis，H.（编辑），CPAIOR 2014，LNCS（第8451卷，第144-158页）：Springer·Zbl 06298789号
[23] Le Provost，T.和Wallace，M.（1992年）。领域独立传播，FGCS 1992，第五代计算机系统国际会议（第1004-1011页）：IOS出版社·兹比尔0862.68023
[24] Leo，K.和Tack，G.（2015）。多通道高级预解算。Yang，Q.，&Wooldridge，M.（编辑），2015年国际建筑学会（第346-352页）：美国建筑学会出版社。
[25] Monette，J.N.、Flener，P.和Pearson，J.（2015）。通过实时传播器生成自动消除辅助变量。在Pesant，G.（编辑），CP 2015，LNCS，（第9255卷，第313-329页）：Springer。
[26] Nethercote，N.、Stuckey，P.J.、Becket，R.、Brand，S.、Duck，G.J.和Tack，G.（2007）。MiniZin：走向标准CP建模语言。Bessière，C.（编辑），CP 2007，LNCS。MiniZin工具链位于http://www.minizinc.org，（第4741卷，第529-543页）：施普林格。
[27] Parlett，D.（编辑）（1990年）。企鹅耐心书。伦敦：企鹅。
[28] Pesant，G.（2004）。有限变量序列的正则语言成员约束。在Wallace，M.（编辑），CP 2004，LNCS（第3258卷，第482-495页）：Springer·Zbl 1152.68573号
[29] Rendl，A.，Guns，T.，Stuckey，P.J.，&Tack，G.（2015）。MiniSearch：MiniZin的一种独立于解算器的元搜索语言。在Pesant，G.（编辑），CP 2015，LNCS，（第9255卷，第376-392页）：Springer。
[30] Simonis，H.（2008）。Kakuro是一个约束问题。Flener，P.，&Simonis，H.（编辑），ModRef 2018，第七届约束建模与重构国际研讨会。https://www.it.uu.se/research/group/astra/ModRef08/Simonis.pdf。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。