Pseudorandom Generators in Propositional Proof Complexity.

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

Published in: SIAM J. Comput. (2004)

Keyphrases

pseudorandom
random numbers
random number
computational complexity
polynomial hierarchy
uniformly distributed
real time
computational cost
first order logic
theorem prover
decision problems
propositional logic
secret key