Pseudorandom generators in propositional proof systems (2000)

by M Alekhovich, E Ben-Sasson, A A Razborov, A Wigderson
Venue:In 41st Annual IEEE Symposium on Foundations of Computer Science