885 citations · 3.3k across the 27 of their papers we have counts for
3 papers · 2 filters
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Holger Hoos, Marius Lindauer, Torsten Schaub
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 solv…
ParamILS: An Automatic Algorithm Configuration Framework
Frank Hutter, Thomas Stuetzle, Kevin Leyton-Brown +1
The identification of performance-optimizing parameter settings is an important part of the development and application of algorithms. We describe an automatic framework for this a…
Solver Scheduling via Answer Set Programming
Holger Hoos, Roland Kaminski, Marius Lindauer +1
Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different ty…