Potassco: The Potsdam Answer Set Solving Collection
Gebser, Martin, Kaufmann, Benjamin, Kaminski, Roland, Ostrowski, Max, Schaub, Torsten, Schneider, MariusVolume:
24
Year:
2011
Journal:
AI Communications
DOI:
10.3233/aic-2011-0491
File:
PDF, 166 KB
2011