Pseudorandom generators in propositional proof complexity, Ext. abstract in (2000)

by M Alekhnovich, E Ben-Sasson, A A Razborov, A Wigderson
Venue:Proc. of the 41 st Annual Symp. on Foundation of Computer Science