Login / Signup

Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers.

Abhijit MudigondaR. Ryan Williams
Published in: ITCS (2021)
Keyphrases
  • lower bound
  • upper bound
  • low dimensional
  • intelligent systems
  • management system
  • distributed systems
  • vector space
  • neural network
  • np hard
  • knowledge based systems