文章基本信息

标题：aspeed: ASP-based Solver Scheduling
本地全文：下载
作者：Holger Hoos ; Roland Kaminski ; Torsten Schaub 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：17
页码：176-187
DOI：10.4230/LIPIcs.ICLP.2012.176
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Although Boolean Constraint Technology has made tremendous progress over the last decade, it suffers from a great sensitivity to search configuration. This problem was impressively counterbalanced at the 2011 SAT Competition by the rather simple approach of ppfolio relying on a handmade, uniform and unordered solver schedule. Inspired by this, we take advantage of the modeling and solving capacities of ASP to automatically determine more refined, that is, non-uniform and ordered solver schedules from existing benchmarking data. We begin by formulating the determination of such schedules as multi-criteria optimization problems and provide corresponding ASP encodings. The resulting encodings are easily customizable for different settings and the computation of optimum schedules can mostly be done in the blink of an eye, even when dealing with large runtime data sets stemming from many solvers on hundreds to thousands of instances. Also, its high customizability made it easy to generate even parallel schedules for multi-core machines.
关键词：Algorithm Schedule; Portfolio-based Solving; Answer Set Programming