Efficient probabilistically checkable proofs and applications to approximations.

Mihir Bellare Shafi Goldwasser Carsten Lund A. Russeli

Published in: STOC (1993)

Keyphrases

database
computationally efficient
website
artificial neural networks
machine learning
decision making
e learning
image processing
clustering algorithm
special case
mobile robot
computationally expensive
closed form
highly efficient
efficient computation
formal proof