Compositional Propositional Proofs.

Marijn J. H. Heule, Armin Biere

Browse the full LPAR paper archive.