Weighted Model Counting on the GPU by Exploiting Small Treewidth - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Johannes Klaus Fichte' in GoogleThis author has not been identified. Look up 'Markus Hecher' in GoogleThis author has not been identified. Look up 'Stefan Woltran' in GoogleThis author has not been identified. Look up 'Markus Zisser' in Google

runs on WebDSL