×
古斯塔夫·比约达尔;珍妮·诺埃尔·莫内特;皮埃尔·弗莱纳;贾斯汀·皮尔逊

MiniZin的基于约束的本地搜索后端。 （英语） Zbl 1325.90076号

约束条件 20，第3期，325-345（2015）.
小结：MiniZin是一种用于组合问题的建模语言，可以通过后端提供的解算器进行求解。有许多基于约束编程、整数编程或布尔可满足性求解等技术的后端。然而，据我们所知，目前还没有基于约束的本地搜索（CBLS）后端。我们讨论了开发这种后端的挑战，并概述了MiniZin的CBLS后端的设计。实验结果表明，对于某些MiniZin模型，基于OscaR/CBLS求解器的CBLS后端能够在竞争时间内提供高质量的结果。

引用于4文件

MSC公司：

90C27型 组合优化

关键词：

基于约束的局部搜索;迷你锌

软件：

扁平锌;彗星;SCIP公司;奥斯卡;迷你锌;蚂蚁识别码;fzn2毫米;奥斯卡.cbls;OR-醇;局部解算器;阳光;Gecode公司;袋鼠
PDF格式BibTeX公司 XML格式引用
\textit{G.Björdal}et al.，Constraints 20，No.3，325--345（2015；Zbl 1325.90076）
全文： 内政部

参考文献：

[1] Achterberg，T.（2009）。SCIP：求解约束整数程序。数学规划计算，1（1），1-41·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1
[2] Akün，O.、Frisch，A.M.、Gent，I.P.、Hussain，B.S.、Jefferson，C.、Kotthoff，L.、Miguel，I.和Nightingale，P.（2013）。CONJURE中的自动对称破缺和模型选择。在C.Schulte（编辑）CP 2013，LNCS（第8124卷，第107-116页）：Springer·Zbl 1231.90318号
[3] Amadini，R.、Gabbrielli，M.和Mauro，J.（2014）。Sunny：用于解决约束的懒惰投资组合方法。逻辑程序设计理论与实践，14，509-524·Zbl 1307.68077号 ·doi:10.1017/S1471068414000179
[4] Beldiceanu，N.、Carlsson，M.、Demassey，S.和Petit，T.（2007年）。全球约束目录：过去、现在和未来。约束，12（1），21-62。目录位于http://sofdem.github.io/gccat。 ·Zbl 1128.68092号 ·doi:10.1007/s10601-006-9010-8
[5] Benoist，T.、Estellon，B.、Gardi，F.、Megel，R.和Nouioua，K.（2011年）。LocalSolver 1.x：用于0-1编程的黑盒本地搜索解算器。4或。《运筹学季刊》，9（3），299-316·Zbl 1231.90318号
[6] Björdal，G.（2014年）。MiniZin的第一个基于约束的本地搜索后端。瑞典乌普萨拉大学科学与技术学院计算机科学学士论文，报告IT 14066。http://urn.kb.se/resolve？urn=urn:nbn:se:uu/diva-234847. ·Zbl 1171.90476号
[7] Bofill，M.、Palahí，M.，Suy，J.和Villaret，M.fzn2smt，从FlatZin语言到标准SMT-LIB语言的编译器。http://ima.udg.edu/Recerca/lap/fzn2smt/。
[8] Codognet，P.和Diaz，D.（2001年）。另一种约束求解的局部搜索方法。在K.Steinhöfel（Ed.）SAGA 2001，第一届随机算法国际研讨会：基础与应用，LNCS，（第2264卷，第73-90页）：Springer·Zbl 1054.68646号
[9] De Landtsheer，R.（2012）。Oscar.cbls：基于约束的本地搜索引擎。https://bitbucket.org/oscarlib/oscar/downloads/oscar.cbls.pdf。
[10] Dotü，I.和Van Hentenryck，P.（2005）。在当地安排社交高尔夫球手。R.Barták和M.Milano（编辑）CP-AI-OR 2005，LNCS，（第3524卷，第155-167页）：Springer·Zbl 1133.90336号
[11] Elsayed，S.A.M.和Michel，L.（2011）。从高级CP模型合成搜索算法。J.Lee（编辑）CP 2011，LNCS，（第6876卷，第256-270页）：Springer。
[12] Feydy，T.、Somogyi，Z.和Stuckey，P.（2011）。半实物化和扁平化。J.Lee（编辑）CP 2011，LNCS，（第6876卷，第286-301页）：Springer。
[13] Fontaine，D.、Michel，L.和Van Hentenryck，P.（2013）。用于混合优化的模型组合子。在C.Schulte（编辑）CP 2013，LNCS（第8124卷，第299-314页）：Springer·兹比尔1226.90047
[14] Frisch，A.M.、Grum，M.、Jefferson，C.、Martinez Hernandez，B.和Miguel，I.（2007）。ESSENCE的设计：用于指定组合问题的约束语言。M.Veloso（编辑），2007年国际建筑学会（IJCAI）（第80-87页）。AAAI出版社。
[15] Fujiwara，T.（2014）。基于iZ的MiniZin挑战求解器。http://www.minizinc.org/challenge2014/description_izplus.txt。
[16] Gecode团队。Gecode/FlatZin公司。http://www.gecode.org/flatzinc.html。
[17] Glover，F.（1989）。禁忌搜索第一部分。ORSA计算期刊，1（3），190-206·Zbl 0753.90054号
[18] Y.Hamadi、E.Monfroy和F.Saubian（编辑）（2012年）。自主搜索：施普林格。
[19] He，J.、Flener，P.和Pearson，J.（2012）。用于约束定向局部搜索的解决方案邻域。S.Bistarelli、E.Monfroy和B.O'Sullivan（编辑）SAC/CSP 2012。（第74-79页）：ACM出版社。
[20] Hoos，H.H.（2012）。自动算法配置和参数调整。在Y.Hamadi、E.Monfroy和F.Saubian（编辑）Autonomous Search中。（第37-71页）：施普林格·Zbl 1128.68092号
[21] Hoos，H.H.和Stützle，T.（2004）。随机局部搜索：基础与应用：Elsevier/Morgan Kaufmann·Zbl 1126.68032号
[22] 卡普·R.M.（1972）。组合问题之间的约简性。R.E.Miller和J.W.Thatcher（编辑）《计算机计算的复杂性》。（第85-103页）：阻燃出版社·兹比尔1467.68065
[23] Monette，J.N.、Deville，Y.和Van Hentenryck，P.（2009年）。Aeon：从高级模型综合调度算法。J.W.Chinneck、B.Kristjansson和M.J.Saltzman（编辑），《运筹学与网络基础结构》，运筹学/计算机科学接口，（第47卷，第43-59页）：Springer·Zbl 1307.68077号
[24] Nethercote，N.将MiniZin转换为FlatZin。http://www.minizinc.org/downloads/doc-1.6/mzn2fzn.pdf .
[25] Nethercote，N.、Stuckey，P.J.、Becket，R.、Brand，S.、Duck，G.J.和Tack，G.（2007）。MiniZin：走向标准CP建模语言。在C.Bessière（编辑），CP 2007，LNCS（第4741卷，第529-543页）。斯普林格。http://www.minizin.org/。
[26] Newton，M.H.、Pham，D.N.、Sattar，A.和Maher，M.（2011年）。袋鼠：使用惰性传播的高效基于约束的本地搜索系统。J.Lee（编辑）CP 2011，LNCS，（第6876卷，第645-659页）：Springer。
[27] 南丁格尔，P.、阿肯，O.、根特，I.P.、杰斐逊，C.和米格尔，I.（2014）。通过关联交换公共子表达式消除自动改进Savile Row中的约束模型。在B.O'Sullivan（编辑）CP 2014，LNCS，（第8656卷，第590-605页）：Springer·Zbl 1419.68099号
[28] Nowicki，E.和Smutnicki，C.（1996年）。针对job-shop问题的快速禁忌搜索算法。管理科学，42（6），797-813·兹比尔0880.90079 ·doi:10.1287/mnsc.42.6.797
[29] Opturion私人有限公司Opturion CPX。http://www.opturion.com/cpx。
[30] 谷歌的OR团队。OR工具。https://code.google.com/p/or-tools/。
[31] OscaR团队（2012年）。OscaR：OR中的Scala。https://bitbucket.org/oscarlib/oscar。
[32] Parr，T.J.（2007）。最终的ANTLR参考：构建特定领域的语言：实用书架。
[33] Prestwich，S.D.（2002）。局部搜索的超对称建模。在P.Flener和J.Pearson（编辑）SymCon 2002中。http://www.it.uu.se/research/group/astra/SymCon02。 ·Zbl 1013.90104号
[34] Stuckey，P.J.、Becket，R.和Fischer，J.（2010年）。迷你锌挑战的哲学。约束，15（3），307-316·Zbl 1208.68207号 ·doi:10.1007/s10601-010-9093-0
[35] Stuckey，P.J.、Feydy，T.、Schutt，A.、Tack，G.和Fischer，J.（2014）。2008-2013年迷你锌挑战。AI杂志，35（2），55-60。
[36] Van Hentenryck，P.（1999）。OPL优化编程语言：麻省理工学院出版社·Zbl 0880.90079号
[37] Van Hentenryck，P.和Michel，L.（2003）In F.Rossi（Ed.），局部搜索的控制抽象（Vol.2833，pp.65-80）：Springer。
[38] Van Hentenryck，P.和Michel，L.（2004）。为本地搜索安排摘要。J.C.Régin和M.Rueher（编辑）CP-AI-OR 2004，LNCS，（第3011卷，第319-334页）：施普林格·Zbl 1094.90565号
[39] Van Hentenryck，P.和Michel，L.（2007）。从高级模型合成基于约束的局部搜索算法。在A.Howe和R.C.Holte（编辑）AAAI 2007中。（第273-278页）：AAAI出版社。
[40] Van Hentenryck，P.和Michel，L.（2009年）。基于约束的本地搜索：麻省理工学院出版社·Zbl 1179.68141号
[41] Van Hentenryck，P.、Michel，L.和Liu，L.（2004）。用于局部搜索的基于约束的组合子。在M.Wallace（编辑）CP 2004，LNCS（第3258卷，第47-61页）：Springer·Zbl 1152.68589号
[42] Yunes，T.H.、Aron，I.D.和Hooker，J.N.（2010年）。优化问题的集成解决方案。运筹学，58（2），342-356·Zbl 1226.90047号 ·数字对象标识代码：10.1287/opre.1090.733
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。