• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Delegating Computation: Interactive Proofs for Muggles.

Shafi GoldwasserYael Tauman KalaiGuy 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