SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

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

Introduction to the Practice of Statistics

Technometrics · 2004 · 2.3K citations

Natural Sciences, Biostatistics, Mathematics +10

A new method for solving hard satisfiability problems

Bart Selman, Hector J. Levesque, David G. M. Mitchell · 1992 · 1.2K citations

Computing, Computer Science, Mathematics +14

Pushing the envelope: planning, propositional logic, and stochastic search

Henry Kautz, Bart Selman · 1996 · 845 citations

Computing, Decision Sciences, Knowledge Representation +7