Electronic Notes in Discrete Mathematics · 2001 · 49 citations · 14 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureParallel AlgorithmsParallel ComputingData ParallelismDistributed ComputingLoad BalancingParallel ArchitecturesParallel Computing SystemsParallel Performance AnalysisDynamic Load BalancingLoad Balancing AlgorithmsLoad Balancing Strategies
14
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text
A new method for solving hard satisfiability problems
Bart Selman, Hector J. Levesque, David G. M. Mitchell · 1992 · 1.2K citations
Noise strategies for improving local search
Bart Selman, Henry Kautz, Brain Cohen · 1994 · 761 citations