Pseudorandom Generators in Propositional Proof Complexity

Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson. Pseudorandom Generators in Propositional Proof Complexity. In FOCS. pages 43-53, 2000.

Abstract

Abstract is missing.