Polynomial-size Frege and Resolution Proofs of st-Connectivity and Hex Tautologies (2003)

by Samuel R. Buss
Venue:Theorectical Computer Science
Citations:10 - 0 self