Planning as Satisfiability
- SatPlan: Planning as Satisfiability
- Henry Kautz, Bart Selman, and Joerg Hoffmann. Abstracts of the 5th International Planning Competition, 2006.
- Unifying SAT-based and Graph-based Planning
- Henry Kautz and Bart Selman. Proc. IJCAI-99, Stockholm, 1999.
- Encoding Plans in Propositional Logic
- Henry Kautz, David McAllester, and Bart Selman, Proc. KR-96.
- Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
- Henry Kautz and Bart Selman, Proc. AAAI-96.
- Planning as Satisfiability
- Henry Kautz and Bart Selman, Proceedings ECAI-92.