Exploiting Treewidth for Projected Model Counting and Its Limits

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]

Abstract

Abstract is missing.