Quasipolynomial size proofs of the propositional pigeonhole principle

Sam Buss. Quasipolynomial size proofs of the propositional pigeonhole principle. Theoretical Computer Science, 576:77-84, 2015. [doi]

Abstract

Abstract is missing.