Constant Rate PCPs for Circuit-SAT with Sublinear Query Complexity.

Autor: Ben-Sasson, Eli, Kaplan, Yohay, Kopparty, Swastik, Meir, Or, Stichtenoth, Henning
Zdroj: 2013 IEEE 54th Annual Symposium on Foundations of Computer Science; 2013, p320-329, 10p
Databáze: Complementary Index