Model Counting for CNF Formulas of Bounded Modular Treewidth

Dani{\"e}l Paulusma, Friedrich Slivovsky, Stefan Szeider
January 2013
bib DOI

Abstract

Full Citation:

Dani"el Paulusma, Friedrich Slivovsky, Stefan Szeider. Model Counting for CNF Formulas of Bounded Modular Treewidth. 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany (Natacha Portier and Thomas Wilke), volume 20 of LIPIcs, pages 55-66, 2013, Leibniz-Zentrum fuer Informatik.

Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

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