 | 2009 |
|---|
| 4 |       | Martin Gebser,
Max Ostrowski,
Torsten Schaub:
Constraint Answer Set Solving.
ICLP 2009: 235-249 |
| 3 | | Martin Gebser,
Roland Kaminski,
Max Ostrowski,
Torsten Schaub,
Sven Thiele:
On the Input Language of ASP Grounder Gringo.
LPNMR 2009: 502-508 |
| 2008 |
|---|
| 2 | | Martin Gebser,
Roland Kaminski,
Benjamin Kaufmann,
Max Ostrowski,
Torsten Schaub,
Sven Thiele:
Engineering an Incremental ASP Solver.
ICLP 2008: 190-205 |
| 1 |  | 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 |
