Polynomial size proofs of the propositional pigeonhole principle (1987)

Cached

Download Links

by Samuel R. Buss
Venue:Journal of Symbolic Logic
Citations:71 - 7 self