Resolution proofs of generalized pigeonhole principles (1988)

by Samuel R. Buss , Győrgy Turán
Venue:Theoretical Computer Science
Citations:47 - 4 self