Annals of Mathematics and Artificial Intelligence · 2011 · 14 citations · 17 references
ComputingComputer ScienceMathematicsAlgorithmsTheory Of ComputationAlgorithm AnalysisApproximation AlgorithmsApproximation MethodsComplexity TheoryComputational ComplexityTime ComplexityApproximation ComplexityApproximation GuaranteesApproximation HardnessApproximation SchemesApproximation TheoryComputational Complexity Of AlgorithmsPolynomial-time Approximation Scheme
17
Optimization by Simulated Annealing
Scott Kirkpatrick, C. D. Gelatt, M.P. Vecchi · Science · 1983 · 44.6K citations
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
Computational Complexity of Probabilistic Turing Machines
John Gill · SIAM Journal on Computing · 1977 · 694 citations