Model Counting for CNF Formulas of Bounded Modular Treewidth

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

Abstract

Full Citation:

Dani"el Paulusma, Friedrich Slivovsky, Stefan Szeider. Model Counting for CNF Formulas of Bounded Modular Treewidth. Algorithmica, volume 76, number 1, pages 168-194, 2016.

Type
Journal Article
Stefan Szeider
Stefan Szeider
Head of Research Unit

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