Pseudorandom Generators in Propositional Proof Complexity

Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson. Pseudorandom Generators in Propositional Proof Complexity. SIAM Journal on Computing, 34(1):67-88, 2004. [doi]

Abstract

Abstract is missing.