On the Lengths of Proofs in the Propositional Calculus (Preliminary Version)

Stephen A. Cook, Robert A. Reckhow

Browse the full STOC paper archive.