Model Counting for CNF Formulas of Bounded Modular Treewidth.

Danil Paulusma, Friedrich Slivovsky, Stefan Szeider

Browse the full STACS paper archive.