Conflict-Driven Answer Set Enumeration Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany

First Page		Document Content
Date: 2007-06-11 04:23:32		Conflict-Driven Answer Set Enumeration Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Add to Reading List Source URL: www.cs.uni-potsdam.de Download Document from Source Website File Size: 566,63 KB Share Document on Facebook