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

by Sanjeev Arora , Shmuel Safra
Venue:JOURNAL OF THE ACM
Citations:425 - 27 self