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…