Proof verification and intractability of approximation problems (0)

by S Arora, C Lund, R Motwani, M Sudan, M Szegedy
Venue:J. Assoc. Comput. Mach