Login / Signup
Pseudorandom Generators in Propositional Proof Complexity
Michael Alekhnovich
Eli Ben-Sasson
Alexander A. Razborov
Avi Wigderson
Published in:
Electron. Colloquium Comput. Complex. (2000)
Keyphrases
</>
pseudorandom
random numbers
uniformly distributed
propositional logic
random number
secret key
polynomial hierarchy
computational complexity
decision problems
first order logic
computational cost
worst case
theorem proving
space complexity
multi valued