@inproceedings{DBLP:conf/sat/FichteHMW18, title = {Exploiting Treewidth for Projected Model Counting and Its Limits}, author = {Fichte, Johannes Klaus and Hecher, Markus and Morak, Michael and Woltran, Stefan}, booktitle = {{SAT}}, pages = {165--184}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {10929}, year = {2018} }