Search the dblp DataBase

Publications of Author

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