The Relative Strength of #SAT Proof Systems.

Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche

Browse the full SAT paper archive.