Engineering an Incremental ASP Solver.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele

Browse the full ICLP paper archive.