Weighted Model Counting on the GPU by Exploiting Small Treewidth

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]

Abstract

Abstract is missing.