6 citations · 7 across the 2 of their papers we have counts for
4 papers
Clingcon: The Next Generation
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski +1
We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predec…
Multi-shot ASP solving with clingo
Martin Gebser, Roland Kaminski, Benjamin Kaufmann +1
We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its implementation in the AS…
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…
Heuristics in Conflict Resolution
Christian Drescher, Martin Gebser, Benjamin Kaufmann +1
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven le…