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
Citations:710 - 45 self