×
霍尔格·胡斯;罗兰·卡明斯基;马吕斯·林道尔;托尔斯滕·绍布

aspeed：通过答案集编程进行求解器调度。 （英语） 兹比尔1379.68283

理论与实践。日志。程序。 15，第1期，117-142（2015）.
摘要：尽管布尔约束技术在过去十年中取得了巨大进步，但众所周知，最先进的求解器的效率在不同类型的问题实例中差异很大，并且在很大程度上取决于算法参数。这个问题是通过一种简单而有效的方法来解决的，该方法使用手工制作的、统一的和无序的多个解算器时间表ppfolio公司在2011年可满足性测试（SAT）竞赛中表现出色。受此启发，我们利用答案集编程（ASP）的建模和求解能力，从现有基准数据中自动确定更精细的，即非均匀有序的求解器调度。我们首先制定多标准优化问题等时间表的确定，并提供相应的ASP编码。生成的编码很容易针对不同的设置进行自定义，而最佳调度的计算大多可以在眨眼之间完成，即使是在处理数百到数千个实例上的许多解算器产生的大型运行时数据集时也是如此。此外，我们的方法可以很容易地进行定制，这使我们能够快速调整它，以生成多处理器机器的并行调度。

引用于6文件

MSC公司：

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

关键词：

算法调度;答案集编程;基于组合的求解

软件：

irace公司;糖;萨特齐拉;阿司匹林;Potassco公司;帕拉米尔斯;SMAC公司
PDF格式BibTeX公司 XML格式引用
\textit{H.Hoos}等人，《理论与实践》。日志。程序。15，第1号，117--142（2015；Zbl 1379.68283）
全文： 内政部 arXiv公司

参考文献：

[1] 安德烈斯·B。，考夫曼银行。，马泰索。和SchaubT.2012。基于不满意的卡环优化。在第二十届逻辑编程国际会议（ICLP'12）的技术通信中，A.Dovier和V.SantosCosta，Eds.，Leibniz International Proceedings In Informatics（LIPIcs），第17卷。佛罗里达州迈阿密柯兰，212-221·Zbl 1281.68204号
[2] AnsóteguiC。，Sellmann公司。和TierneyK.2009。一种基于性别的遗传算法，用于算法的自动配置。《第十五届约束编程原理与实践国际会议论文集》（CP'09），I.Gent，Ed.，《计算机科学讲义》，第5732卷。斯普林格·弗拉格，德国柏林，142-157年。
[3] 巴拉尔C.2003。知识表示、推理和陈述式问题解决。剑桥大学出版社，英国剑桥。CB9780511543357·Zbl 1056.68139号
[4] 比埃拉。，赫勒姆。，范马伦。和WalshT。，2009年版。可满足性手册。人工智能和应用前沿，第185卷。IOS出版社，荷兰阿姆斯特丹·Zbl 1183.68568号
[5] CalimeriF.、IanniG.、。，里卡夫。，阿尔维亚诺。，布里亚。，加泰罗尼亚诺。，科萨。，FaberW.、。，二月。，利昂内。，曼纳。，马特罗。，帕内塔克。，佩里S.，RealeK。，桑托罗姆。，西里安尼姆。，TerracinaG公司。和VeltriP.2011。第三场答案集编程竞赛：系统竞赛赛道初步报告。《第十一届逻辑编程和非单调推理国际会议论文集》（LPNMR11），《人工智能讲义》，第6645卷。德国柏林施普林格-弗拉格，388-403。
[6] 科尔霍。，StuderR.和WooldridgeM。，2010年版。第十九届欧洲人工智能会议记录（ECAI'10）。荷兰阿姆斯特丹IOS出版社。
[7] 德尔格兰德J。和FaberW。，2011年版。第十一届逻辑编程和非单调推理国际会议论文集（LPNMR’11），《人工智能讲义》，第6645卷。德国柏林施普林格-弗拉格。
[8] 加格利奥洛姆。和SchmidhuberJ.2006。学习动态算法组合。数学与人工智能年鉴47，3-4，295-328·Zbl 1113.68101号
[9] GebruersC.、。，游击队、HnichB。和MilanoM.2004。在基于案例的推理框架中，使用实例级别的结构进行选择。在组合优化问题的约束编程中AI和OR技术的集成第一次会议论文集（CPIOR'04）中，J.Régin和M.Rueher，编辑，计算机科学讲义，第3011卷。德国柏林施普林格-弗拉格，380-386.10.10007/b96957·Zbl 1094.68638号 ·doi:10.1007/b96957
[10] GebserM.、KaminskiR.、。，考夫曼银行。，奥斯特罗斯基。，朔布。和SchneiderM.2011a。Potassco：波茨坦答案集解答集合。AI通信24，2，107-124·Zbl 1215.68214号
[11] GebserM.、KaminskiR.、。，考夫曼银行。，奥斯特罗斯基。，朔布。和ThieleS.2010。gringo、crip、clinco和iclingo的用户指南。访问日期：2014年2月3日。https://sourceforge.net/projects/kaltosco/files/kaltasco_guide/2010-10-04/
[12] GebserM.、KaminskiR.、。，考夫曼B。和SchaubT.2012a。实践中的答案集求解。人工智能和机器学习综合讲座。佛罗里达州摩根和克莱普尔。
[13] GebserM.、KaminskiR.、。，考夫曼银行。，朔布。，SchneiderM.和ZillerS.2011b。答案集编程的组合求解器：初步报告。《第十一届逻辑编程和非单调推理国际会议论文集》（LPNMR11），《人工智能讲义》，第6645卷。施普林格·弗拉格，德国柏林，352-357。
[14] GebserM.，考夫曼B。和SchaubT.2012b。冲突驱动的答案集解决：从理论到实践。人工智能187-188，52-89·Zbl 1251.68060号
[15] 绅士。，杰斐逊公司。，科特霍夫。，Miguelli。，摩尔群岛。，南丁格尔。和PetrieK.2010。学习何时在约束求解中使用懒惰学习。《第十九届欧洲人工智能会议论文集》（ECAI10）。荷兰阿姆斯特丹IOS出版社，873-878。
[16] 国美电器公司。和SelmanB.2001。算法组合。人工智能126，1-2，43-62.10.1016/S0004-3702（00）00081-3·Zbl 0969.68047号 ·doi:10.1016/S0004-3702（00）00081-3
[17] 游击队和米兰，2004年。自动算法组合选择的学习技术。在西班牙巴伦西亚举行的第16届欧洲人工智能会议记录中。佛罗里达州摩根和克莱普尔，475-479。
[18] 国合。和HsuW.2004。一种用于实时MPE问题的基于学习的算法选择元推理器。第十七届澳大利亚人工智能联合会议记录。施普林格，纽约州纽约市，307-318。
[19] 哈马迪。和SchoenauerM.，2012年版。第六届学习与智能优化国际会议论文集（LION’12）。计算机科学讲义，第7219卷。德国柏林施普林格-弗拉格。
[20] 赫尔默特。，罗格。和KarpasE.2011。快速向下的石头汤：构建规划师投资组合的基准。在ICAPS 2011规划和学习研讨会上。AAAI出版社，加利福尼亚州帕洛阿尔托，28-35。
[21] 胡斯·H。，考夫曼银行。，朔布。和SchneiderM.2013。布尔约束求解器的稳健基准集选择。《第七届学习与智能优化国际会议论文集》（LION’13），P.Pardalos和G.Nicosia，Eds.，计算机科学讲义，第8248卷。施普林格-弗拉格，德国柏林，138-152年。
[22] HubermanB.公司。，卢科塞。和HoggT.1997。解决困难计算问题的经济方法。科学275，51-54.10.1126/science.275.5296.518974387·doi:10.1126/science.275.5296.51
[23] HutterF.、。，呼啦圈。和Leyton-BrownK.2011。基于序列模型的通用算法配置优化。《第五届学习与智能优化国际会议论文集》（LION’11），计算机科学讲义，第6683卷。施普林格·弗拉格，德国柏林，507-523。
[24] HutterF.、。，胡斯·H。，莱顿·布朗克。和StützleT.2009。ParamILS:自动算法配置框架。《人工智能研究杂志》36，267-306·Zbl 1192.68831号
[25] HutterF.、。，胡斯·H。和StützleT.2007。基于局部搜索的自动算法配置。《第二十二届全国人工智能会议论文集》（AAAI'07）。AAAI出版社。，加利福尼亚州帕洛阿尔托，1152-1157。
[26] 卡迪奥格卢斯。，马利茨基。，萨巴瓦拉。，萨穆洛维茨。和Sellmann M.2011。算法选择和调度。《第十七届约束编程原理与实践国际会议论文集》（CP'11），J.Lee，Ed.，《计算机科学讲义》，第6876卷。德国柏林施普林格-弗拉格，454-469。
[27] 卡迪奥格卢斯。，马利茨基。，Sellmann公司。和TierneyK.2010。ISAC-特定于实例的算法配置。《第十九届欧洲人工智能会议论文集》（ECAI'10）。IOS出版社，荷兰阿姆斯特丹，751-756。
[28] 洛佩兹·伊瓦涅兹。，杜波伊斯·拉科斯特。，StützleT公司。和BirattariM.2011。Irace包，用于自动算法配置的迭代竞赛。技术报告，IRIDIA，比利时布鲁塞尔自由大学。
[29] 马利茨基。，梅塔。和OSullivanB.2013。不断演变的特定于实例的算法配置。在第六届组合搜索年度研讨会（SOCS'13）的会议记录中，H.Helmert和G.Röger，Eds.《全国人工智能会议记录》（AAAI）。加利福尼亚州帕洛阿尔托市AAAI，132-140。
[30] 马利茨基。，萨巴瓦拉。，萨穆洛维茨。和Sellmann M.2012。并行SAT求解器选择和调度。《第十八届约束编程原理与实践国际会议论文集》（CP'12），M.Milano，Ed.，《计算机科学讲义》，第7514卷。德国柏林施普林格-弗拉格，512-526.10.1007/978-3-642-33558-7·Zbl 1251.68026号 ·doi:10.1007/978-3-642-33558-7
[31] 奥马奥尼。，希伯拉德。，荷兰。，纽根特C。和O’SullivanB.2008。在算法组合中使用基于案例的推理进行约束求解。《第十九届爱尔兰人工智能和认知科学会议论文集》（AICS’08），D.Bridge、K.Brown、B.O’Sullivan和H.Sorensen，Eds。
[32] 普利纳。和TacchellaA.2009。量化布尔公式的自适应多引擎求解器。约束条件14，1，80-116.10.1007/s10601-008-9051-2·Zbl 1183.68589号 ·doi:10.1007/s10601-008-9051-2
[33] 《RiceJ.1976》。算法选择问题。计算机进展15，65-118.10.1016/S0065-2458（08）60520-3·doi:10.1016/S0065-2458（08）60520-3
[34] RousselO.2011年。ppfolio的描述。2014年2月3日查阅。http://www.cril.univ-artois.fr/鲁塞尔/ppfolio/solver1.pdf
[35] SchneiderM.和HoosH.2012。量化算法配置实例集的同质性。《第六届学习与智能优化国际会议论文集》（LION’12），《计算机科学讲义》，第7219卷。斯普林格·弗拉格，德国柏林，190-204年。
[36] 塞普J。，布朗。，加里莫特J。和HelmertM.2012。学习自动调整计划者的投资组合。在第二十二届自动规划和调度国际会议（ICAPS’12）的会议记录中，L.McCluskey、B.Williams、J.R.Silva和B.Bonet，Eds.AAAI，加利福尼亚州帕洛阿尔托，368-372。
[37] GolovinD街道。和SmithS.2007。在线组合多种启发式。2007年，《第二十二届全国人工智能会议论文集》（AAAI'07）。AAAI出版社，加利福尼亚州帕洛阿尔托，1197-1203。
[38] 田村。，标签A。，北川。和BanbaraM.2009。将有限线性CSP编译成SAT.Constraints14,2,254-272.10007/s10601-008-9061-0·Zbl 1186.68076号 ·doi:10.1007/s10601-008-9061-0
[39] 徐州。，胡斯·H。和Leyton-BrownK.2007。SAT的层次硬度模型，《第十三届约束编程原理与实践国际会议论文集》（CP'07），C.Bessiere，Ed.，《计算机科学讲义》，第4741卷。施普林格-弗拉格，德国柏林，696-711·Zbl 1145.68534号
[40] 徐州。，胡斯·H。和Leyton-BrownK.2010。Hydra：为基于投资组合的选择自动配置算法。在《第二十四届全国人工智能大会论文集》（AAAI’10）中，M.Fox和D.Poole，编辑，AAAI出版社，加利福尼亚州帕洛阿尔托，210-216。
[41] 徐州。，HutterF.、。，胡斯·H。和Leyton-BrownK.2008。SATzilla:SAT基于投资组合的算法选择。《人工智能研究杂志》32，565-606·Zbl 1182.68272号
[42] XuL.公司。，HutterF.、。，胡斯·H。和Leyton-BrownK.2012。评估组件求解器对基于组合的算法选择器的贡献。在第十五届可满足性测试理论与应用国际会议（SAT’12）的会议记录中，A.Cimatti和R.Sebastiani，Eds.，《计算机科学讲义》，第7317卷。德国柏林施普林格-弗拉格，228-241。
[43] 云X。和EpsteinS.2012。并行执行的学习算法组合。《第六届国际会议学习与智能优化会议论文集》（LION’12），《计算机科学讲义》，第2012卷。施普林格-弗拉格，德国柏林，323-338。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。