Conflict-Driven Disjunctive Answer Set Solving.

Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne Knig, Max Ostrowski, Torsten Schaub

Browse the full KR paper archive.