Short Proofs Without New Variables.

Marijn J. H. Heule, Benjamin Kiesl, Armin Biere

Browse the full CADE paper archive.