KIT | KIT-Bibliothek | Impressum | Datenschutz

Incremental SAT Solving for SAT Based Planning

Gocht, Stephan

Open Access Logo


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