This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '09
 MadhuSudan
 Computational complexity theory, unsat, PCP theorem, Probabilistically checkable proof, G. Deﬁne UNSAT

Click to edit the document details