Skip to main content
Article
Surviving Solver Sensitivity: An ASP Practitioner’s Guide
Computer Science Faculty Proceedings & Presentations
  • Bryan Silverthorn, University of Texas at Austin
  • Yuliya Lierler, University of Nebraska at Omaha
  • Marius Schneider, University of Potsdam
Document Type
Conference Proceeding
Publication Date
1-1-2012
Disciplines
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.

Comments

28th International Conference on Logic Programming

Citation Information
Bryan Silverthorn, Yuliya Lierler and Marius Schneider. "Surviving Solver Sensitivity: An ASP Practitioner’s Guide" (2012)
Available at: http://works.bepress.com/yuliya_lierler/21/