91 citations · 526 across the 50 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014★ 3 cited
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…
cs.AI2014
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…