PublicationSTOC 1994Conference paperEfficient probabilistically checkable proofs and applications approximationSTOC 1994View publicationAbstractNo abstract available.Home↳ PublicationsDate23 May 1994PublicationSTOC 1994AuthorsMihir BellareS. GoldwasserC. LundA. RussellIBM-affiliated at time of publicationShare