Model Counting for Formulas of Bounded Clique-Width.

Friedrich Slivovsky, Stefan Szeider

Browse the full ISAAC paper archive.