Planning as Satisfiability

News Downloads Papers Credits Links

News

Downloads

Papers

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.

Credits

Links