Efficient probabilistically checkable proofs and applications to approximation (1993)

by M. Bellare , S. Goldwassert , C. Lundi , A. Russell
Venue:In Proceedings of STOC93
Citations:173 - 12 self