Constant rate PCPs for circuit-SAT with sublinear query complexity

Eli Ben-Sasson, Yohay Kaplan, Swastik Kopparty, Or Meir, Henning Stichtenoth. Constant rate PCPs for circuit-SAT with sublinear query complexity. Electronic Colloquium on Computational Complexity (ECCC), 20:85, 2013. [doi]

Abstract

Abstract is missing.