KIT | KIT-Bibliothek | Impressum
Open Access Logo

Accelerating sat based planning with incremental sat solving

Gocht, Stephan; Balyo, Tomáš



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2017
Sprache Englisch
Identifikator ISBN: 978-1-57735-789-6
ISSN: 2334-0835
KITopen ID: 1000076072
Erschienen in Proceedings of the 27th International Conference on Automated Planning and Scheduling, Pittsburgh, United States, 18th - 23th June 2017. Ed.: L. Barbulescu
Verlag AAAI Press, Palo Alto
Seiten 135-139
Serie Proceedings International Conference on Automated Planning and Scheduling
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page