Model Counting for CNF Formulas of Bounded Modular Treewidth

Daniël Paulusma, Stefan Szeider
January 2016
PDF Cite DOI
Type
Journal Article
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.