Probabilistic checking of proofs: a new characterization of NP (1998)
Cached
Download Links
- [ww2.cs.fsu.edu]
- [www.cs.umd.edu]
- [ftp.cs.princeton.edu]
- DBLP
Other Repositories/Bibliography
by
Sanjeev Arora
| Venue: | Journal of the ACM |
| Citations: | 319 - 27 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 |
