 | 2008 |
|---|
| 8 |       | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Advanced Preprocessing for Answer Set Solving.
ECAI 2008: 15-19 |
| 2007 |
|---|
| 7 | | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Conflict-Driven Answer Set Solving.
IJCAI 2007: 386- |
| 6 | | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Conflict-Driven Answer Set Enumeration.
LPNMR 2007: 136-148 |
| 5 | | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
clasp : A Conflict-Driven Answer Set Solver.
LPNMR 2007: 260-265 |
| 4 | | Martin Gebser,
Lengning Liu,
Gayathri Namasivayam,
André Neumann,
Torsten Schaub,
Miroslaw Truszczynski:
The First Answer Set Programming System Competition.
LPNMR 2007: 3-17 |
| 2005 |
|---|
| 3 | | Christian Anger,
Martin Gebser,
Thomas Linke,
André Neumann,
Torsten Schaub:
The nomore++ Approach to Answer Set Solving.
Answer Set Programming 2005 |
| 2 | | Christian Anger,
Martin Gebser,
Thomas Linke,
André Neumann,
Torsten Schaub:
The nomore++ Approach to Answer Set Solving.
LPAR 2005: 95-109 |
| 1 | | Christian Anger,
Martin Gebser,
Thomas Linke,
André Neumann,
Torsten Schaub:
The nomore++ System.
LPNMR 2005: 422-426 |
