Exploiting Treewidth for Projected Model Counting and Its Limits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran. Exploiting Treewidth for Projected Model Counting and Its Limits. In Olaf Beyersdorff, Christoph M. Wintersteiger, editors, Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. Volume 10929 of Lecture Notes in Computer Science, pages 165-184, Springer, 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 'Michael Morak' in GoogleThis author has not been identified. Look up 'Stefan Woltran' in Google

runs on WebDSL