Advanced Preprocessing for Answer Set Solving.

Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub

Browse the full ECAI paper archive.