Proving the PCP-Theorem.

Volker Heun Wolfgang Merkle Ulrich Weigand

Published in: Lectures on Proof Verification and Approximation Algorithms (1997)

Keyphrases

von neumann
neural network
pattern recognition
digital topology
search engine
image processing
bayesian networks
multiresolution
database
databases
search algorithm
natural language
expert systems