| 2008 |
|---|
| 6 | EE | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Advanced Preprocessing for Answer Set Solving.
ECAI 2008: 15-19 |
| 5 | EE | Martin Gebser,
Roland Kaminski,
Benjamin Kaufmann,
Max Ostrowski,
Torsten Schaub,
Sven Thiele:
Engineering an Incremental ASP Solver.
ICLP 2008: 190-205 |
| 4 | | Christian Drescher,
Martin Gebser,
Torsten Grote,
Benjamin Kaufmann,
Arne König,
Max Ostrowski,
Torsten Schaub:
Conflict-Driven Disjunctive Answer Set Solving.
KR 2008: 422-432 |
| 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 |
