Efficient probabilistically checkable proofs and applications approximationMihir BellareS. Goldwasseret al.1994STOC 1994
Efficient probabilistically checkable proofs and applications to approximationMihir BellareS. Goldwasseret al.1993STOC 1993