dblp.uni-trier.dewww.uni-trier.de

André Neumann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Christian Anger [1] [2] [3]
2Martin Gebser [1] [2] [3] [4] [5] [6] [7] [8]
3Benjamin Kaufmann [5] [6] [7] [8]
4Thomas Linke [1] [2] [3]
5Lengning Liu [4]
6Gayathri Namasivayam [4]
7Torsten Schaub [1] [2] [3] [4] [5] [6] [7] [8]
8Miroslaw Truszczynski [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)