André Neumann

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Advanced Preprocessing for Answer Set Solving. ECAI (2008)
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
: A Conflict-Driven Answer Set Solver. LPNMR (2007)
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Conflict-Driven Answer Set Solving. IJCAI (2007)
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Conflict-Driven Answer Set Enumeration. LPNMR (2007)
Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski
The First Answer Set Programming System Competition. LPNMR (2007)
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
The nomore++ Approach to Answer Set Solving. LPAR (2005)
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
The nomore++ System. LPNMR (2005)
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
The nomore++ Approach to Answer Set Solving. Answer Set Programming (2005)