TY - RPRT TI - Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers AU - Abhijit S. Mudigonda AU - R. Ryan Williams PY - 2021 UR - https://arxiv.org/abs/2012.00330 ID - 2012.00330 ER -