KIT | KIT-Bibliothek | Impressum | Datenschutz

Accelerating sat based planning with incremental sat solving

Gocht, Stephan 1; Balyo, Tomáš 1
1 Karlsruher Institut für Technologie (KIT)


Scopus
Zitationen: 17
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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
Seiten 135-139
Serie Proceedings International Conference on Automated Planning and Scheduling
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page