Compression of Propositional Resolution Proofs by Lowering Subproofs.

Joseph Boudou, Bruno Woltzenlogel Paleo

Browse the full TABLEAUX paper archive.