Pseudorandom Generators in Propositional Proof Complexity.

Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson

Browse the full FOCS paper archive.