Probabilistic checking of proofs: a new characterization of NP (1998)

by Sanjeev Arora
Venue:Journal of the ACM
Citations:367 - 28 self

Document Versions

Probabilistic checking of proofs: a new characterization of NP –Sanjeev Arora — 1998 — Journal of the ACM
Probabilistic Checking of Proofs: A New Characterization of NP –Sanjeev Arora, Shmuel Safra — 1992 — Journal of the ACM