@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} }