Knowledge Processing and Information Systems
Exploiting Treewidth for Projected Model Counting and its Limits

@article{DBLP:journals/corr/abs-1805-05445,
  title = {Exploiting Treewidth for Projected Model Counting and its Limits},
  author = {Fichte, Johannes Klaus and Morak, Michael and Hecher, Markus and Woltran, Stefan},
  journal = {CoRR},
  volume = {abs/1805.05445},
  year = {2018}
}