KIT | KIT-Bibliothek | Impressum | Datenschutz

Kompressionstechniken für Beschreibungen von SAT Formeln

Manig, Jens

Open Access Logo


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