A competitive and cooperative approach to propositional satisfiability

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

Computing, Computer Science, Mathematics +16

Chaff

Matthew W. Moskewicz, Conor Madigan, Ying Zhao et al. · 2001 · 2.9K citations

Computing, Computer Science, Algorithms +12

The Complexity of Flowshop and Jobshop Scheduling

M. R. Garey, David Johnson, Ravi Sethi · Mathematics of Operations Research · 1976 · 2.6K citations

Computing, Computer Science, Algorithms +12

Fast planning through planning graph analysis

Avrim Blum, Merrick L. Furst · Artificial Intelligence · 1997 · 1.6K citations

Computing, Autonomous Systems, Path Planning +5