Compression of Propositional Resolution Proofs via Partial Regularization.

Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo

Browse the full CADE paper archive.