A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth.

Friedrich Slivovsky, Stefan Szeider

Browse the full SAT paper archive.