Proof verification and intractability of approximation problems (1998)

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