Bulletin of the American Mathematical Society

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1088-9485(e) ISSN 0273-0979(p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues: 1891 - Present Previous Article \| Next Article

Selections Reprinted from Mathematical Reviews

Review information:

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

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


	Comments: webmaster@ams.org © Copyright 2008, American Mathematical Society Privacy Statement		Search the AMS