Login / Signup

Tighter MA/1 Circuit Lower Bounds from Verifier Efficient PCPs for PSPACE.

Joshua CookDana Moshkovitz
Published in: APPROX/RANDOM (2023)
Keyphrases
  • lower bound
  • upper bound
  • np hard
  • cost effective
  • computationally expensive
  • data structure
  • low cost
  • branch and bound