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]

Authors

Michael Alekhnovich

This author has not been identified. Look up 'Michael Alekhnovich' in Google

Eli Ben-Sasson

This author has not been identified. Look up 'Eli Ben-Sasson' in Google

Alexander A. Razborov

This author has not been identified. Look up 'Alexander A. Razborov' in Google

Avi Wigderson

This author has not been identified. Look up 'Avi Wigderson' in Google