Advanced Conflict-Driven Disjunctive Answer Set Solving.

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Browse the full IJCAI paper archive.