KIT | KIT-Bibliothek | Impressum | Datenschutz

Hierarchical Task Network Planning Using SAT Techniques

Schreiber, Dominik Pascal ORCID iD icon


Volltext §
DOI: 10.5445/IR/1000104165
Veröffentlicht am 13.12.2019
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Publikationsjahr 2018
Sprache Englisch
Identifikator KITopen-ID: 1000104165
Verlag Karlsruher Institut für Technologie (KIT)
Art der Arbeit Abschlussarbeit - Master
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page