Planning as satisfiability: Heuristics

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

Proceedings of the 19th International Joint Conference on Artificial Intelligence

Josep M. Pujol, Jordi Delgado, Ramón Sangüesa et al. · International Joint Conference on Artificial Intelligence · 2005 · 5.8K citations

Computing, Computer Science, Artificial Intelligence +11

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 FF Planning System: Fast Plan Generation Through Heuristic Search

J. Hoffmann, Bernhard Nebel · Journal of Artificial Intelligence Research · 2001 · 1.9K citations · Full text

Computing, Autonomous Systems, Motion Planning +14