Selections Reprinted from Mathematical Reviews

Review information:

Journal: Bull. Amer. Math. Soc. 44 (2007), 137-138
PII: S 0273-0979(06)01149-9
Posted: October 30, 2006
Retrieve reviews in: PDF

MR 1614328 (99d:68077a)
Arora, Sanjeev; Safra, Shmuel
Probabilistic checking of proofs: a new characterization of NP. (English. English summary) J. ACM 45, (1998), no. 1, 70--122
MR 1639346 (99d:68077b)
Arora, Sanjeev; Lund, Carsten; Motwani, Rajeev; Sudan, Madhu; Szegedy, Mario
Proof verification and the hardness of approximation problems. (English. English summary) J. ACM 45, (1998), no. 3, 501--555


Reviewed by: Oded Goldreich