Planning as satisfiability by Henry Kautz and Bart Selman 2026-10-24
View more
Published in 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.
Read the full article