License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2012.164
URN: urn:nbn:de:0030-drops-36192
URL: http://drops.dagstuhl.de/opus/volltexte/2012/3619/
Go to the corresponding Portal


Silverthorn, Bryan ; Lierler, Yuliya ; Schneider, Marius

Surviving Solver Sensitivity: An ASP Practitioner’s Guide

pdf-format:
Document 1.pdf (502 KB)


Abstract

Answer set programming (ASP) is a declarative programming formalism that allows a practitioner to specify a problem without describing an algorithm for solving it. In ASP, the tools for processing problem specifications are called answer set solvers. Because specified problems are often NP complete, these systems often require significant computational effort to succeed. Furthermore, they offer different heuristics, expose numerous parameters, and their running time is sensitive to the configuration used. Portfolio solvers and automatic algorithm configuration systems are recent attempts to automate the problem of manual parameter tuning, and to mitigate the burden of identifying the right solver configuration. The approaches taken in portfolio solvers and automatic algorithm configuration systems are orthogonal. This paper evaluates these approaches, separately and jointly, in the context of real-world ASP application development. It outlines strategies for their use in such settings, identifies their respective strengths and weaknesses, and advocates for a methodology that would make them an integral part of developing ASP applications.

BibTeX - Entry

@InProceedings{silverthorn_et_al:LIPIcs:2012:3619,
  author =	{Bryan Silverthorn and Yuliya Lierler and Marius Schneider},
  title =	{{Surviving Solver Sensitivity: An ASP Practitioner’s Guide}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{164--175},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Agostino Dovier and V{\'i}tor Santos Costa},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3619},
  URN =		{urn:nbn:de:0030-drops-36192},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.164},
  annote =	{Keywords: algorithm configuration, algorithm selection, portfolio solving, answer set programming, algorithm portfolios}
}

Keywords: algorithm configuration, algorithm selection, portfolio solving, answer set programming, algorithm portfolios
Seminar: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
Issue Date: 2012
Date of publication: 27.07.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI