Jason Li, Ryan O'Donnell. Bounding Laconic Proof Systems by Solving CSPs in Parallel. In Christian Scheideler, Mohammad Taghi Hajiaghayi, editors, Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017. pages 95-100, ACM, 2017. [doi]
Abstract is missing.