Conflict-Driven Answer Set Enumeration.

Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub

Browse the full LPNMR paper archive.