Discrete Mathematics · 1973 · 619 citations · 19 references
Natural SciencesComputer ScienceMathematicsAlgorithmsCombinatoricsDiscrete MathematicsBranch And BoundCombinatorial EnumerationCombinatorial OptimizationEnumerative CombinatoricsInteger ProgrammingCombinatorial Search
19
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
Jack Edmonds · Canadian Journal of Mathematics · 1965 · 2.4K citations · Full text