Proof verification and hardness of approximation problems (1992)

by S Arora, C Lund, R Motwani, M Sudan, M Szegedy
Venue:In Proc. of the 33-rd IEEE FOCS