Proof Systems That Tightly Characterise Model Counting Algorithms.

Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche

Browse the full AAAI paper archive.