Proof verification and the hardness of approximation problems (1998)

by S Arora, C Lund, R Motwani, M Sudan, M Szegedy
Venue:Journal of the ACM (JACM