Pseudorandom Generators in Propositional Proof Complexity.

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

Published in: FOCS (2000)

Keyphrases

pseudorandom
random numbers
propositional logic
uniformly distributed
worst case
random number
secret key
theorem prover
polynomial hierarchy
neural network
computational cost
proof procedure
conjunctive query containment