학술논문
Tighter MA/1 Circuit Lower Bounds from Verifier Efficient PCPs for PSPACE
Document Type
Conference Paper
Author
Source
In: Leibniz International Proceedings in Informatics, LIPIcs , Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023. (Leibniz International Proceedings in Informatics, LIPIcs, September 2023, 275)
Subject
Language
English
ISSN
18688969