= Planning as satisfiability by Henry Kautz and Bart Selman
{tag=Work by Henry Kautz}
{tag=Work by Bart Selman}
{title2=1992}
Author-hosted paper: https://www.cs.cornell.edu/selman/papers/pdf/92.ecai.satplan.pdf
Author bibliography: https://www.cs.cornell.edu/selman/papers/
Published in \i[Proceedings of ECAI 1992], pp. 359–363. The paper introduced the <SATPlan> approach. The bounded model, state-transition formulas and deletion-sensitive proof used here are given explicitly rather than relying on a copied encoding.
Back to article page
