Delegating Computation: Interactive Proofs for Muggles.

Shafi Goldwasser Yael Tauman Kalai Guy N. Rothblum

Published in: J. ACM (2015)

Keyphrases

information retrieval
data structure
virtual reality
theorem prover
machine learning
genetic algorithm
search algorithm
parallel computation
efficiently computing