Pseudorandom generators in propositional proof complexity (0)

by M Alekhnovich, E Ben-Sasson, A Razborov, A Widgerson
Venue:in Proc. 41st IEEE Conf. on Foundations of Computer Science (FOCS