Johannes Klaus Fichte, Markus Hecher, Stefan Woltran, Markus Zisser. Weighted Model Counting on the GPU by Exploiting Small Treewidth. In Yossi Azar, Hannah Bast, Grzegorz Herman, editors, 26th Annual European Symposium on Algorithms, ESA 2018, August 20-22, 2018, Helsinki, Finland. Volume 112 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{FichteHWZ18,
title = {Weighted Model Counting on the GPU by Exploiting Small Treewidth},
author = {Johannes Klaus Fichte and Markus Hecher and Stefan Woltran and Markus Zisser},
year = {2018},
doi = {10.4230/LIPIcs.ESA.2018.28},
url = {https://doi.org/10.4230/LIPIcs.ESA.2018.28},
researchr = {https://researchr.org/publication/FichteHWZ18},
cites = {0},
citedby = {0},
booktitle = {26th Annual European Symposium on Algorithms, ESA 2018, August 20-22, 2018, Helsinki, Finland},
editor = {Yossi Azar and Hannah Bast and Grzegorz Herman},
volume = {112},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-081-1},
}