No. Title Author Year
1 Efficient Interactive Proofs for Non-Deterministic Bounded Space Cook, Joshua et al. 2023
2 Tighter MA/1 Circuit Lower Bounds from Verifier Efficient PCPs for PSPACE Cook, Joshua et al. 2023
3 More Verifier Efficient Interactive Protocols for Bounded Space Cook, Joshua 2022
4 Size Bounds on Low Depth Circuits for Promise Majority Cook, Joshua 2020
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI