claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

05/07/2014
by   Holger Hoos, et al.
0

To appear in Theory and Practice of Logic Programming (TPLP). Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based algorithm selection approaches and techniques. The claspfolio 2 solver framework supports various feature generators, solver selection approaches, solver portfolios, as well as solver-schedule-based pre-solving techniques. The default configuration of claspfolio 2 relies on a light-weight version of the ASP solver clasp to generate static and dynamic instance features. The flexible open design of claspfolio 2 is a distinguishing factor even beyond ASP. As such, it provides a unique framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques in a single, unified framework. Taking advantage of this, we conducted an extensive experimental study to assess the impact of different feature sets, selection approaches and base solver portfolios. In addition to gaining substantial insights into the utility of the various approaches and techniques, we identified a default configuration of claspfolio 2 that achieves substantial performance gains not only over clasp's default configuration and the earlier version of claspfolio 2, but also over manually tuned configurations of clasp.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/28/2018

Efficiently Coupling the I-DLV Grounder with ASP Solvers

We present I-DLV+MS , a new Answer Set Programming (ASP) system that int...
research
06/20/2013

A Multi-Engine Approach to Answer Set Programming

Answer Set Programming (ASP) is a truly-declarative programming paradigm...
research
10/11/2012

Multi-threaded ASP Solving with clasp

We present the new multi-threaded version of the state-of-the-art answer...
research
01/15/2014

ParamILS: An Automatic Algorithm Configuration Framework

The identification of performance-optimizing parameter settings is an im...
research
09/17/2021

Automata Techniques for Temporal Answer Set Programming

Temporal and dynamic extensions of Answer Set Programming (ASP) have pla...
research
08/16/2011

Finding Similar/Diverse Solutions in Answer Set Programming

For some computational problems (e.g., product configuration, planning, ...
research
10/06/2012

D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

In this work, we propose Answer-Set Programming (ASP) as a tool for rapi...

Please sign up or login with your details

Forgot password? Click here to reset