Efficient Interactive Proofs for Non-Deterministic Bounded Space

Joshua Cook, Ron D. Rothblum. Efficient Interactive Proofs for Non-Deterministic Bounded Space. In Nicole Megow, Adam Smith, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA. Volume 275 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Joshua Cook

This author has not been identified. Look up 'Joshua Cook' in Google

Ron D. Rothblum

This author has not been identified. Look up 'Ron D. Rothblum' in Google