Potassco: The Potsdam Answer Set Solving Collection

Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider. Potassco: The Potsdam Answer Set Solving Collection. AI Commun., 24(2):107-124, 2011. [doi]

Abstract

Abstract is missing.