Kautz and Selman: planning as satisfiability

What changed

Encoded bounded planning as satisfiability and used SAT search for plans.

Scientific scope

The record is the exact two-author ECAI 1992 paper. It does not absorb later SATPLAN implementations, modern SAT solvers, Graphplan or all constraint-based planning.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact two-author ECAI 1992 paper. It does not absorb later SATPLAN implementations, modern SAT solvers, Graphplan or all constraint-based planning.

Contributors

• Henry A. Kautz · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
• Bart Selman · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• Author-hosted Planning as Satisfiability paper
• DBLP record for Planning as Satisfiability

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction