KIT | KIT-Bibliothek | Impressum | Datenschutz

Hierarchical Task Network Planning Using SAT Techniques

Schreiber, Dominik Pascal ORCID iD icon

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

Volltext §
DOI: 10.5445/IR/1000104165
Veröffentlicht am 13.12.2019
Seitenaufrufe: 239
seit 14.12.2019
Downloads: 360
seit 28.12.2019
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page