Super-Polynomial Speed-Ups in Proof Length by New Tautologies.

Uwe Egly

Browse the full EPIA paper archive.