Proof verification and hardness of approximation problems (1992)

by Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy
Venue:IN PROC. 33RD ANN. IEEE SYMP. ON FOUND. OF COMP. SCI