Knowledge Processing and Information Systems
Weighted Model Counting on the GPU by Exploiting Small Treewidth

@inproceedings{DBLP:conf/esa/FichteHWZ18,
  title = {Weighted Model Counting on the {GPU} by Exploiting Small Treewidth},
  author = {Fichte, Johannes Klaus and Hecher, Markus and Woltran, Stefan and Zisser, Markus},
  booktitle = {{ESA}},
  pages = {28:1--28:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {LIPIcs},
  volume = {112},
  year = {2018}
}