Discrete Applied Mathematics · 2013 · 43 citations · 38 references
ComputingComputer ScienceMathematicsAlgorithmsTheory Of ComputationAlgorithm AnalysisAlgorithmic ComplexityApproximation AlgorithmsComputational ComplexityGraph AlgorithmsParameterized AlgorithmsComputational Complexity Of Graph AlgorithmsDigraph RepresentationParameterized ComplexityParameterized Complexity ClassesParameterized Graph Algorithms
38
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
Graph minors. II. Algorithmic aspects of tree-width
Neil Robertson, Paul Seymour · Journal of Algorithms · 1986 · 1.5K citations
On the Complexity of Timetable and Multicommodity Flow Problems
Shimon Even, Alon Itai, Adi Shamir · SIAM Journal on Computing · 1976 · 1.1K citations