Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses.

Jan Gorzny, Bruno Woltzenlogel Paleo

Browse the full CADE paper archive.