Model Counting for CNF Formulas of Bounded Modular Treewidth

Abstract

Full Citation:

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

Stefan Szeider

Head of Research Unit

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