%0 Conference Paper %1 conf/sat/FichteHMW18 %A Fichte, Johannes Klaus %A Hecher, Markus %A Morak, Michael %A Woltran, Stefan %B SAT %D 2018 %E Beyersdorff, Olaf %E Wintersteiger, Christoph M. %I Springer %K dblp %P 165-184 %T Exploiting Treewidth for Projected Model Counting and Its Limits. %U http://dblp.uni-trier.de/db/conf/sat/sat2018.html#FichteHMW18 %V 10929 %@ 978-3-319-94144-8

@inproceedings{conf/sat/FichteHMW18, added-at = {2018-06-27T00:00:00.000+0200}, author = {Fichte, Johannes Klaus and Hecher, Markus and Morak, Michael and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/28d2bf06c2eb7498cccc23c5def0e09a2/dblp}, booktitle = {SAT}, crossref = {conf/sat/2018}, editor = {Beyersdorff, Olaf and Wintersteiger, Christoph M.}, ee = {https://doi.org/10.1007/978-3-319-94144-8_11}, interhash = {c35fdb2f6e3d63314cfbdf9b5d2cfa5b}, intrahash = {8d2bf06c2eb7498cccc23c5def0e09a2}, isbn = {978-3-319-94144-8}, keywords = {dblp}, pages = {165-184}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:20:07.000+0200}, title = {Exploiting Treewidth for Projected Model Counting and Its Limits.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2018.html#FichteHMW18}, volume = 10929, year = 2018 }