%0 Conference Paper %1 conf/cpaior/GebserKS09 %A Gebser, Martin %A Kaufmann, Benjamin %A Schaub, Torsten %B CPAIOR %D 2009 %E van Hoeve, Willem Jan %E Hooker, John N. %I Springer %K %P 71-86 %T Solution Enumeration for Projected Boolean Search Problems. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2009.html#GebserKS09 %V 5547 %@ 978-3-642-01928-9

@inproceedings{conf/cpaior/GebserKS09, added-at = {2023-12-12T18:02:33.000+0100}, author = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2447dae47cad60a7b3d46d791ff7895df/admin}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2009}, editor = {van Hoeve, Willem Jan and Hooker, John N.}, ee = {https://doi.org/10.1007/978-3-642-01929-6_7}, interhash = {0c8f1b21cb3cb123e6d69e6d20a4bbf3}, intrahash = {447dae47cad60a7b3d46d791ff7895df}, isbn = {978-3-642-01928-9}, keywords = {}, pages = {71-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:02:33.000+0100}, title = {Solution Enumeration for Projected Boolean Search Problems.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2009.html#GebserKS09}, volume = 5547, year = 2009 }