Holographic Proofs and Derandomization.

Rahul Santhanam Dieter van Melkebeek

Published in: Computational Complexity Conference (2003)

Keyphrases

data storage
theorem proving
theorem prover
high capacity
neural network
multimedia
probability distribution
databases
search engine
feature selection
three dimensional
database systems
computer programs
formal proof