2008 |
8 | EE | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Advanced Preprocessing for Answer Set Solving.
ECAI 2008: 15-19 |
2007 |
7 | EE | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Conflict-Driven Answer Set Solving.
IJCAI 2007: 386- |
6 | EE | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Conflict-Driven Answer Set Enumeration.
LPNMR 2007: 136-148 |
5 | EE | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
clasp : A Conflict-Driven Answer Set Solver.
LPNMR 2007: 260-265 |
4 | EE | 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 | EE | Christian Anger,
Martin Gebser,
Thomas Linke,
André Neumann,
Torsten Schaub:
The nomore++ Approach to Answer Set Solving.
Answer Set Programming 2005 |
2 | EE | Christian Anger,
Martin Gebser,
Thomas Linke,
André Neumann,
Torsten Schaub:
The nomore++ Approach to Answer Set Solving.
LPAR 2005: 95-109 |
1 | EE | Christian Anger,
Martin Gebser,
Thomas Linke,
André Neumann,
Torsten Schaub:
The nomore++ System.
LPNMR 2005: 422-426 |