Discrete Mathematics · 1994 · 98 citations · 93 references
ComputingComputer ScienceMathematicsAlgorithmsOptimizationTheory Of ComputationComplexity TheoryComputational ComplexityComputational Complexity ClassesConvex AnalysisConvex HullsConvex OptimizationCompleteness ResultsComplexity-theoretic ReductionsComputational ConvexityContainmentConvexity
93
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
A new polynomial-time algorithm for linear programming
Narendra Karmarkar · COMBINATORICA · 1984 · 4.8K citations
Jack Edmonds · Canadian Journal of Mathematics · 1965 · 2.4K citations · Full text