A Simple Distributed Conflict-Driven Answer Set Solver.

Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor

Browse the full LPNMR paper archive.