Advanced Preprocessing for Answer Set Solving

Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. Advanced Preprocessing for Answer Set Solving. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris, editors, ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings. Volume 178 of Frontiers in Artificial Intelligence and Applications, pages 15-19, IOS Press, 2008. [doi]

Abstract

Abstract is missing.