Journal of Combinatorial Optimization · 2008 · 18 citations · 7 references
Natural SciencesElectrical EngineeringMathematicsAlgorithmsCombinatoricsOptimizationAssignment ProblemsBranch And BoundCombinatorial OptimizationDiscrete OptimizationInteger ProgrammingBandpass FilteringBandpass FiltersCombinatorial Search
7
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
Joseph Czyzyk, Michael P. Mesnier, Jorge J. Morè · IEEE Computational Science and Engineering · 1998 · 647 citations · Full text