Login / Signup
Constant rate PCPs for circuit-SAT with sublinear query complexity.
Eli Ben-Sasson
Yohay Kaplan
Swastik Kopparty
Or Meir
Henning Stichtenoth
Published in:
Electron. Colloquium Comput. Complex. (2013)
Keyphrases
</>
query complexity
membership queries
data complexity
exact learning
boolean formula
dnf formulas
sat solvers
databases
learning algorithm
satisfiability problem
special case
query answering
equivalence queries