| 2009 | ||
|---|---|---|
| 1 | Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor: A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR 2009: 490-495 | |
| 1 | Enrico Ellguth | [1] |
| 2 | Martin Gebser | [1] |
| 3 | Roland Kaminski | [1] |
| 4 | Benjamin Kaufmann | [1] |
| 5 | Stefan Liske | [1] |
| 6 | Torsten Schaub | [1] |
| 7 | Lars Schneidenbach | [1] |
| 8 | Bettina Schnor | [1] |