KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
DOI: 10.5445/IR/1000083193
Veröffentlicht am 07.06.2018

Incremental SAT Solving for SAT Based Planning

Gocht, Stephan



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Jahr 2017
Sprache Englisch
Identifikator URN: urn:nbn:de:swb:90-831933
KITopen-ID: 1000083193
Abschlussart Abschlussarbeit - Master
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page