@inproceedings{DBLP:conf/cpaior/GebserKS09, title = {Solution Enumeration for Projected Boolean Search Problems}, author = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten}, booktitle = {{CPAIOR}}, pages = {71--86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5547}, year = {2009} }