Arora, Sanjeev; Safra, Shmuel Probabilistic checking of proofs: a new characterization of NP. (English) Zbl 0903.68076 J. ACM 45, No. 1, 70-122 (1998). Cited in 11 ReviewsCited in 119 Documents MSC: 68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.) Keywords:complexity hierarchies; error-correcting codes; hardness of approximations PDF BibTeX XML Cite \textit{S. Arora} and \textit{S. Safra}, J. ACM 45, No. 1, 70--122 (1998; Zbl 0903.68076) Full Text: DOI Link