![]() |
| 2007 | ||
|---|---|---|
| 3 | EE | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Solving. IJCAI 2007: 386- |
| 2 | EE | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148 |
| 1 | EE | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265 |
| 1 | Martin Gebser | [1] [2] [3] |
| 2 | André Neumann | [1] [2] [3] |
| 3 | Torsten Schaub | [1] [2] [3] |