Journal of Computer and System Sciences · 1980 · 262 citations · 8 references
Natural SciencesComputer ScienceAlgorithmsOptimizationConstrained OptimizationConvex AnalysisConvex OptimizationLinear ProgrammingNonlinear ProgrammingOptimization TheoryBenders DecompositionConvex RelaxationsSemidefinite Relaxation
8
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
P-Complete Approximation Problems
Sartaj Sahni, Teofilo F. Gonzalez · Journal of the ACM · 1976 · 1.7K citations · Full text
Algorithms for Scheduling Independent Tasks
Sartaj Sahni · Journal of the ACM · 1976 · 593 citations · Full text
The Complexity of Near-Optimal Graph Coloring
M. R. Garey, David S. Johnson · Journal of the ACM · 1976 · 326 citations · Full text