Weighted Model Counting on the GPU by Exploiting Small Treewidth. - Johannes Klaus Fichte; Markus Hecher; Stefan Woltran; Markus Zisser (ESA, 2018)

An Improved GPU-Based SAT Model Counter. - Johannes Klaus Fichte; Markus Hecher; Markus Zisser (CP, 2019)