Login / Signup

Succinct Classical Verification of Quantum Computation.

James BartusekYael Tauman KalaiAlex LombardiFermi MaGiulio MalavoltaVinod VaikuntanathanThomas VidickLisa Yang
Published in: CRYPTO (2) (2022)
Keyphrases
  • quantum computation
  • databases
  • model checking
  • data sets
  • feature selection
  • decision making
  • website
  • data structure
  • expert systems
  • evolutionary algorithm
  • face verification
  • signature verification
  • concurrent systems