×
罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗

为什么CP投资组合解决方案被（不足）利用？问题和挑战。 （英语） Zbl 1473.68184号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 349-364 (2015).
总结：众所周知，组合求解器利用可能较慢的平均不同解算器组合，可以显著优于单个任意高效的解算器。尽管投资组合求解器在求解比赛中取得了成功，但在实践中很少使用。本文概述了阻碍在约束编程（CP）范式中实际采用和开发投资组合求解器的主要局限性，并讨论了克服这些局限性的可能方法以及CP领域之外的潜在扩展。
有关整个系列，请参见[Zbl 1326.68017号].

引用于2文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

软件：

数字插孔;CSPLib公司;ManySAT公司;帕拉米尔斯;迷你锌;变形杆菌属;美洲驼;萨特齐拉;ppfolio公司;SMAC公司;meSAT公司;阳光;sunny-cp公司;ASlib（ASlib）;糖;阿司匹林;本质
PDF格式BibTeX公司 XML格式引用
\textit{R.Amadini}等人，Lect。注释计算。科学。9527349--364（2015；Zbl 1473.68184）
全文： 内政部 哈尔

参考文献：

[1] Abío，I.，Stuckey，P.J.：将线性约束编码到SAT中。收录：o'Sullivan，B.（编辑）CP 2014。LNCS，第8656卷，第75-91页。斯普林格，海德堡（2014）·doi:10.1007/978-3-319-10428-79
[2] Amadini，R.，Gabbrielli，M.，Mauro J.：约束求解器组合的增强功能提取器。摘自：SAC，第1357-1359页。ACM（2014）·doi:10.1145/2554850.2555114
[3] Amadini，R.，Gabbrielli，M.，Mauro，J.：SUNNY：一种用于约束求解的懒惰投资组合方法。TPLP 14（4-5），509–524（2014）·Zbl 1307.68077号
[4] Amadini，R.、Gabbrielli，M.、Mauro J.：约束求解的多核工具。收录于：IJCAI，第232-238页。AAAI出版社（2015）
[5] Amadini，R.，Gabbrielli，M.，Mauro，J.：约束优化问题的组合方法。摘自：AMAI，第1-18页（2015年）·Zbl 1335.90077号
[6] Amadini，R.、Gabbrielli，M.、Mauro，J.：SUNNY-CP：连续CP投资组合求解器。摘自：SAC，第1861-1867页。ACM（2015）·doi:10.1145/2695664.2695741
[7] Amadini，R.，Stuckey，P.J.：优化求解器组合的顺序时间分割和边界通信。在：O'Sullivan，B.（编辑）CP 2014。LNCS，第8656卷，第108–124页。斯普林格，海德堡（2014）·doi:10.1007/978-3-319-10428-7_11
[8] Arbelaez，A.、Hamadi，Y.、Sebag，M.：约束规划中的在线启发式选择。In:SoCS（2009）
[9] Arbelaez，A.、Hamadi，Y.、Sebag，M.：约束编程中的连续搜索。摘自：ICTAI，第219-243页。IEEE计算机学会（2010）·doi:10.1109/ICTAI.2010.17
[10] Audemard，G.，Hoessen，B.，Jabbour，S.，Lagniez，J-M.，Piette，C.：PeneLoPe，平行子句冻结求解器。摘自：SAT挑战赛，第43-44页（2012年）
[11] Barahona，P.，Hölldobler，S.，Nguyen，V.-H.：将有限CSP转换为SAT的代表性编码。In:Simonis，H.（ed.）CPAIOR 2014。LNCS，第8451卷，第251-267页。斯普林格，海德堡（2014）·Zbl 1407.68445号 ·doi:10.1007/978-3-319-07046-9_18
[12] Le Berre，D.，Simon，L.：2005年SAT竞赛和评估特别卷前言。In:JSAT，2（1-4），（2006）
[13] Bischl，B.、Kerschke，P.、Kotthoff，L.、Lindauer，M.T.、Malitsky，Y.、Fréchette，A.、Hoos，H.H.、Hutter，F.、Leyton-Brown，K.、Tierney，K.和Vanschoren，J.：Aslib：算法选择的基准库。CoRR，abs/1506.02465
(2015) ·Zbl 1357.68202号
[14] Cenamor，I.、de la Rosa，T.、Fernández，F.：IBACOP和IBACOP2规划师（2014）。网址：http://www.plg.inf.uc3m.es/icenamor/files/IBaCoPPlanner.pdf
[15] Chu，G.，de la Banda，M.G.，Stuckey，P.J.：在约束编程中自动利用子问题等价性。收录人：Lodi，A.，Milano，M.，Toth，P.（编辑）CPAIOR 2010。LNCS，第6140卷，第71-86页。斯普林格，海德堡（2010）·Zbl 1285.68153号 ·doi:10.1007/978-3-642-13520-0_10
[16] Cipriano，R.，Dovier，A.，Mauro，J.：编译和执行gecode的声明性建模语言。作者：Garcia de la Banda，M.，Pontelli，E.（编辑）ICLP 2008。LNCS，第5366卷，第744–748页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-89982-269
[17] 对夹：http://www.cs.uni-potsdam.de/chapsfolio/
[18] 杜达，R.O.，哈特，P.E.，斯托克，D.G.：模式分类，第二版。Wiley Interscience，纽约（2000）
[19] Fawcett，C.，Vallati，M.，Hutter，F.，Hoffmann，J.，Hoos，H.H.，Leyton-Brown，K.：改进了域相关规划师的运行时预测功能。包含：ICAPS。AAAI（2014）
[20] Frisch，A.M.、Harvey，W.、Jefferson，C.、Martínez-Hernández，B.、Miguel，I.：本质：用于指定组合问题的约束语言。约束13（3），268–306（2008）·兹比尔1147.68424 ·doi:10.1007/s10601-008-9047-y
[21] FullContact。我们如何使用不变服务器来简化我们的云基础设施。(2014) http://www.fullcontact.com/blog/immutable-servers-benefits/
[22] 范·盖尔德（Van Gelder，A.）：对有暂停和平局的多个解算器进行仔细排名。收录：Sakallah，K.A.，Simon，L.（编辑）SAT 2011。LNCS，第6695卷，第317-328页。斯普林格，海德堡（2011）·Zbl 1331.68213号 ·doi:10.1007/978-3642-21581-0-25
[23] Gent，I.P.，Walsh，T.：CSPlib：约束的基准库。收录：Jaffar，J.（编辑）CP 1999。LNCS，第1713卷，第480-481页。斯普林格，海德堡（1999）·doi:10.1007/978-3-540-48085-3_36
[24] Geschwender，D.，Hutter，F.，Kotthoff，L.，Malitsky，Y.，Hoos，H.H.，Leyton-Brown，K.：云中的算法配置：可行性研究。收录：Pardalos，P.M.、Resende，M.G.C.、Vogiatzis，C.、Walteros，J.L.（编辑）《学习与智能优化》。计算机科学课堂讲稿，第41-46页。斯普林格，海德堡（2014）·doi:10.1007/978-3-319-09584-45
[25] Gomes，C.P.，Selman，B.：算法组合。Artif公司。智力。126(1–2), 43–62 (2001) ·Zbl 0969.68047号 ·doi:10.1016/S0004-3702（00）00081-3
[26] Guo，H.，Hsu，W.H.：NP-hard优化问题算法选择的机器学习方法：MPE问题的案例研究。附录OR 156（1），61-82（2007）·Zbl 1145.68043号 ·doi:10.1007/s10479-007-0229-6
[27] Guyon，I.，Elisseeff，A.：变量和特征选择简介。J.Mach学习。第31157–1182号决议（2003年）·Zbl 1102.68556号
[28] Hamadi，Y.，Jabbour，S.，Sais，L.：ManySAT：一个并行SAT解算器。JSAT 6（4），245–262（2009）·Zbl 1193.68227号
[29] Hebrard，E.，O'Mahony，E.，O’Sullivan，B.：numberjack中的约束编程和组合优化。收录人：Lodi，A.，Milano，M.，Toth，P.（编辑）CPAIOR 2010。LNCS，第6140卷，第181-185页。斯普林格，海德堡（2010）·doi:10.1007/978-3-642-13520-0_22
[30] Hoos，H.H.，Kaminski，R.，Lindauer，M.T.，Schaub，T.：aspeed：通过答案集编程进行求解器调度。致：TPLP（2015）·Zbl 1379.68283号
[31] Hoos，H.H.，Kaufmann，B.，Schaub，T.，Schneider，M.：布尔约束求解器的稳健基准集选择。In:Nicosia，G.，Pardalos，P.（编辑）LION 7。LNCS，第7997卷，第138-152页。斯普林格，海德堡（2013）·doi:10.1007/978-3-642-44973-4_16
[32] Lindauer，M.，Hoos，H.，Hutter，F.：从顺序算法选择到并行投资组合选择。收录于：Jourdan，L.，Dhanens，C.，Marmion，M.-E.（编辑）LION 9 2015。LNCS，第8994卷，第1-16页。斯普林格，海德堡（2015）·doi:10.1007/978-3-319-19084-61
[33] Hurley，B.，Kotthoff，L.，Malitsky，Y.，O'Sullivan，B.：Proteus：求解器和变换的层次组合。摘自：Simonis，H.（编辑）CPAIOR 2014。LNCS，第8451卷，第301-317页。斯普林格，海德堡（2014）·doi:10.1007/978-3-319-07046-9_22
[34] Hutter，F.，Hoos，H.H.，Leyton-Brown，K.：通用算法配置的基于序列模型的优化。摘自：Coello，C.A.C.（编辑）LION 2011。LNCS，第6683卷，第507-523页。斯普林格，海德堡（2011）·doi:10.1007/978-3-642-25566-340
[35] Hutter，F.，Hoos，H.H.，Leyton-Brown，K.，Stützle，T.：ParamILS:自动算法配置框架。J.Artif。智力。研究（JAIR）36、267–306（2009年）·Zbl 1192.68831号
[36] Hutter，F.，Xu，L.，Hoos，H.H.，Leyton-Brown，K.：算法运行时预测：最新技术。CoRR，abs/1211.0906
(2012)
[37] 国际规划竞赛：http://ipc.icaps-conference.org/
[38] Kadioglu，S.、Malitsky，Y.、Sabharwal，A.、Samulowitz，H.、Sellmann，M.：算法选择和调度。收录：Lee，J.（编辑）CP 2011。LNCS，第6876卷，第454-469页。斯普林格，海德堡（2011）·doi:10.1007/978-3-642-23786-7_35
[39] Kadioglu，S.、Malitsky，Y.、Sellmann，M.、Tierney，K.：ISAC-实例特定算法配置。收录于：Coelho，H.，Studer，R.，Wooldridge，M.（编辑）ECAI，《人工智能和应用的前沿》，第215卷，第751-756页。IOS出版社（2010）
[40] Kiziltan，Z.，Mauro，J.：面向服务的志愿者计算，使用组合解决大规模并行约束。收录人：Lodi，A.，Milano，M.，Toth，P.（编辑）CPAIOR 2010。LNCS，第6140卷，第246-251页。斯普林格，海德堡（2010）·doi:10.1007/978-3-642-13520-0_27
[41] Kotthoff，L.：LLAMA：利用学习来自动管理算法。CoRR，abs/1306.1031
(2013)
[42] Kotthoff，L.：组合搜索问题的算法选择：综述。AI Mag.35（3），48–60（2014）
[43] Kotthoff，L.：虚拟硬件计算实验的可靠性。J.实验理论。Artif公司。智力。26（1），33-49（2014）·doi:10.1080/0952813X.2013.784812
[44] Kroer，C.，Malitsky，Y.：针对实例特定算法配置的特征过滤。收录于：ICTAI，第849-855页。IEEE（2011）·doi:10.1109/ICTAI.2011.132
[45] Malitsky，Y.、Sabharwal，A.、Samulowitz，H.、Sellmann，M.：并行SAT求解器选择和调度。收录：Milano，M.（编辑）CP 2012。LNCS，第7514卷，第512-526页。斯普林格，海德堡（2012）·doi:10.1007/978-3-642-33558-7_38
[46] Malitsky，Y.，Sabharwal，A.，Samulowitz，H.，Sellmann，M.：基于成本敏感层次聚类的算法组合。摘自：IJCAI。AAAI（2013）
[47] Maratea，M.、Pulina，L.、Ricca，F.：多引擎ASP解决与政策调整。J.逻辑计算。1–22 (2013) ·Zbl 1328.68042号
[48] Maratea，M.、Pulina，L.、Ricca，F.：答案集编程的多引擎方法。TPLP 14（6），841-868（2014）
[49] 2013年Max-SAT：http://maxsat.ia.udl.cat/introduction/
[50] Morris，K.：不变的服务器网页（2013）。http://martinfowler.com/bliki/ImmutableServer.html
[51] mzn2feat-1.0网页：网址：http://www.cs.unibo.it/阿马迪尼/mzn2feat-1.0.tar.bz2
[52] Nethercote，N.、Stuckey，P.J.、Becket，R.、Brand，S.、Duck，G.J.、Tack，G.：MiniZin:走向标准CP建模语言。收录：Bessière，C.（编辑）CP 2007。LNCS，第4741卷，第529-543页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-74970-7_38
[53] Ohrimenko，O.，Stuckey，P.J.，Codish，M.：通过惰性子句进行传播。限制14（3），357–391（2009）·Zbl 1192.68654号 ·数字对象标识代码：10.1007/s10601-008-9064-x
[54] O'Mahony，E.，Hebrard，E.，Holland，A.，Nugent C.，O'Sullivan，B.：在算法组合中使用基于案例的推理来解决约束。In:AICS 2008（2009）
[55] Pulina，L.，Tacchella，A.：量化布尔公式的多引擎求解器。收录：Bessière，C.（编辑）CP 2007。LNCS，第4741卷，第574-589页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-74970-741
[56] Pulina，L.，Taccella，A.：用于量化布尔公式的自适应多引擎求解器。约束条件14（1），80–116（2009）·Zbl 1183.68589号 ·doi:10.1007/s10601-008-9051-2
[57] Rice，J.R.：算法选择问题。高级计算。15, 65–118 (1976) ·doi:10.1016/S0065-2458（08）60520-3
[58] 罗塞尔，O.：对开。http://www.cril.univ-artois.fr/鲁塞尔/ppfolio/
[59] Roussel O.，Lecoutre，C.：约束网络的XML表示：XCSP 2.1格式。CoRR，abs/0902.2362
(2009)
[60] Sabharwal，A.，Samulowitz，H.：深入了解密集知识共享的并行性。收录：O'Sullivan，B.（编辑）CP 2014。LNCS，第8656卷，第655-671页。斯普林格，海德堡（2014）·doi:10.1007/978-3-319-10428-7_48
[61] Samulowitz，H.、Reddy，C.、Sabharwal，A.、Sellmann，M.：Snappy：简单算法组合。收录：Järvisalo，M.，Van Gelder，A.（编辑）SAT 2013。LNCS，第7962卷，第422-428页。斯普林格，海德堡（2013）·doi:10.1007/978-3-642-39071-5_33
[62] 2012年SAT挑战赛：http://baldur.iti.kit.edu/SAT-Challenge-2012年/
[63] 锌接口库（锌）。https://sicstus.sics.se.se/sicstus/docs/4.1.0/html/sicstus/lib_002dzinc.html#lib_002dzinc
[64] Smith-Miles，K.：关于算法选择的元学习的跨学科观点。ACM计算。Surv公司。41(1) (2009)
[65] Stojadinovic M.，Maric，F.：使用短期培训进行基于实例的CSP求解器选择。In:SAT的语用学（2014）
[66] Stojadinovic，M.，Maric，F.：meSAT：CSP到SAT的多重编码。限制19（4），380–403（2014）·Zbl 1316.90049号 ·doi:10.1007/s10601-014-9165-7
[67] Stuckey，P.J.、Becket，R.、Fischer，J.：微型锌挑战的哲学。约束15（3），307–316（2010）·Zbl 1208.68207号 ·doi:10.1007/s10601-010-9093-0
[68] Tamura，N.，Taga，A.，Kitagawa，S.，Banbara，M.：将有限线性CSP编译成SAT。约束14（2），254–272（2009）·Zbl 1186.68076号 ·doi:10.1007/s10601-008-9061-0
[69] Telelis，O.，Stamatopoulos，P.：通过基于统计实例的学习进行组合优化。收录于：ICTAI，第203-209页（2001年）·doi:10.1109/ICTAI.2001.974466
[70] Valenzano，R.A.、Nakhost，H.、Müller，M.、Schaeffer，J.、Sturtevant，N.R.：ArvandHerd：与投资组合并行规划。收录于：ECAI，第786–791页（2012年）
[71] Xu，L.，Hutter，F.，Shen，J.，Hoos，H.，Leyton Brown，K.:SATzilla 2012：基于成本敏感分类模型的改进算法选择。In：SAT挑战赛（2012）
[72] Lin，X.，Hutter，F.，Hoos，H.H.，Leyton-Brown，K.：SATzilla:SAT基于投资组合的算法选择。JAIR 32，565-606（2008）·Zbl 1182.68272号
[73] Yun，X.，Epstein，S.L.：并行执行的学习算法组合。收录：Hamadi，Y.，Schoenauer，M.（编辑）LION 2012。LNCS，第7219卷，第323–338页。斯普林格，海德堡（2012）·文件编号：10.1007/978-3-642-34413-8_23
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。