135 citations · 189 across the 8 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014
Clingo = ASP + Control: Preliminary Report
Martin Gebser, Roland Kaminski, Benjamin Kaufmann +1
We present the new ASP system clingo 4. Unlike its predecessors, being mere monolithic combinations of the grounder gringo with the solver clasp, the new clingo 4 series offers hig…
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…