Satplan

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Graphplan/a3Lflkej">Graphplan</a></li></ul>

<ul><li>H. A. Kautz and B. Selman (1992). <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.35.9443&rep=rep1&type=pdf">Planning as satisfiability</a>. In <i>Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92)</i>, pages 359–363.</li>
<li>H. A. Kautz and B. Selman (1996). <a href="https://www.researchgate.net/profile/Bart_Selman/publication/2471954_Pushing_the_Envelope_Planning_Propositional_Logic_and_Stochastic_Search/links/549673960cf29b9448241893/Pushing-the-Envelope-Planning-Propositional-Logic-and-Stochastic-Search.pdf">Pushing the envelope: planning, propositional logic, and stochastic search</a>. In <i>Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96)</i>, pages 1194–1201.</li>
<li>J. Rintanen (2009). <a href="https://books.google.com/books?id=YVSM3sxhBhcC&q=%22planning+and+SAT%22">Planning and SAT</a>. In A. Biere, H. van Maaren, M. Heule and Toby Walsh, Eds., <i>Handbook of Satisfiability</i>, pages 483–504, <a href="/facts/IOS_Press/e515wdAy">IOS Press</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-58603-929-5.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Jeevanandam, Nivash (2023-11-16). "Understanding planning using logic in AI". IndiaAI. Retrieved 2025-02-19. <a href="https://indiaai.gov.in/article/understanding-planning-using-logic-in-ai" target="_blank">https://indiaai.gov.in/article/understanding-planning-using-logic-in-ai</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Kautz, Henry; Selman, Bart (August 1992). "Planning as Satisfiability". CiteSeerX. ECAI'92. Archived from the original on 2019-01-25. <a href="https://web.archive.org/web/20190125183149/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.35.9443&rep=rep1&type=pdf" target="_blank">https://web.archive.org/web/20190125183149/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.35.9443&rep=rep1&type=pdf</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Robinson, Nathan; Gretton, Charles (2009-10-16). "SAT-Based Parallel Planning Using a Split Representation of Actions". Proceedings of the International Conference on Automated Planning and Scheduling. 19: 281–288. doi:10.1609/icaps.v19i1.13368. ISSN 2334-0843. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>"Planning as Satisfiability: state of the art". users.aalto.fi. Retrieved 2025-02-19. <a href="https://users.aalto.fi/~rintanj1/satplan.html" target="_blank">https://users.aalto.fi/~rintanj1/satplan.html</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
</ol>

Satplan open-in-new

Satplan