Proof Complexity of Propositional Model Counting.

Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann

Browse the full SAT paper archive.