Non-signaling proofs with o(√ log n) provers are in PSPACE

Dhiraj Holden, Yael Tauman Kalai. Non-signaling proofs with o(√ log n) provers are in PSPACE. In Konstantin Makarychev, Yury Makarychev, Madhur Tulsiani, Gautam Kamath 0001, Julia Chuzhoy, editors, Proccedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, Chicago, IL, USA, June 22-26, 2020. pages 1024-1037, ACM, 2020. [doi]

Authors

Dhiraj Holden

This author has not been identified. Look up 'Dhiraj Holden' in Google

Yael Tauman Kalai

This author has not been identified. Look up 'Yael Tauman Kalai' in Google