%0 Conference Paper %1 conf/sat/AzizCMS15 %A Aziz, Rehan Abdul %A Chu, Geoffrey %A Muise, Christian J. %A Stuckey, Peter J. %B SAT %D 2015 %E Heule, Marijn %E Weaver, Sean A. %I Springer %K dblp %P 121-137 %T #∃SAT: Projected Model Counting. %U http://dblp.uni-trier.de/db/conf/sat/sat2015.html#AzizCMS15 %V 9340 %@ 978-3-319-24317-7

@inproceedings{conf/sat/AzizCMS15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Aziz, Rehan Abdul and Chu, Geoffrey and Muise, Christian J. and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2d65e73b4b8ecea361c1cda65aaa364aa/dblp}, booktitle = {SAT}, crossref = {conf/sat/2015}, editor = {Heule, Marijn and Weaver, Sean A.}, ee = {https://doi.org/10.1007/978-3-319-24318-4_10}, interhash = {0278020b90fefbdc88590bfd777fea54}, intrahash = {d65e73b4b8ecea361c1cda65aaa364aa}, isbn = {978-3-319-24317-7}, keywords = {dblp}, pages = {121-137}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-22T11:54:42.000+0200}, title = {#∃SAT: Projected Model Counting.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2015.html#AzizCMS15}, volume = 9340, year = 2015 }