Information Processing Letters · 1994 · 84 citations · 7 references
ComputingComputer ScienceMathematicsAlgorithmsCombinatoricsApproximation AlgorithmsCombinatorial OptimizationSteiner Tree ApproximationSteiner Tree ProblemTree Algorithms
7
Self-stabilizing systems in spite of distributed control
Edsger W. Dijkstra · Communications of the ACM · 1974 · 2.1K citations · Full text
Proof verification and hardness of approximation problems
Sanjeev Arora, Carsten Lund, R. Motwani et al. · 1992 · 744 citations
Probabilistic checking of proofs; a new characterization of NP
Sanjeev Arora · 1992 · 278 citations