Solution Enumeration for Projected Boolean Search Problems Martin Gebser, Benjamin Kaufmann, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Abstract.

First Page		Document Content
Date: 2010-09-08 14:19:25		Solution Enumeration for Projected Boolean Search Problems Martin Gebser, Benjamin Kaufmann, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Abstract. Add to Reading List Source URL: www.cs.uni-potsdam.de Download Document from Source Website File Size: 326,28 KB Share Document on Facebook