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

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