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

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