@article{exploitingtreewidthforprojectedmodel, title = {Exploiting Treewidth for Projected Model Counting and its Limits}, author = {Johannes K. Fichte and Michael Morak and Markus Hecher and Stefan Woltran}, year = {2018}, eprint = {1805.05445}, archivePrefix = {arXiv}, url = {http://arxiv.org/abs/1805.05445v1}, }