Algorithmica · 2009 · 18 citations · 36 references
EngineeringComputer ScienceMathematicsCryptographyFault ToleranceInformation TheoryChannel CodingCoding TheoryError Control CodingError CorrectionError DetectionError-correcting CodesCode ConstructionsCodes Over Finite FieldsDecoding AlgorithmsLocally Decodable CodesRegenerating CodesUniversal Decoding
36
Adi Shamir · Communications of the ACM · 1979 · 13.5K citations · Full text
Proof verification and the hardness of approximation problems
Sanjeev Arora, Carsten Lund, Rajeev Motwani et al. · Journal of the ACM · 1998 · 1.4K citations · Full text
Probabilistic checking of proofs
Sanjeev Arora · Journal of the ACM · 1998 · 1.2K citations · Full text
Benny Chor, Oded Goldreich, Eyal Kushilevitz et al. · 2002 · 1.1K citations