KIT | KIT-Bibliothek | Impressum | Datenschutz

Asynchronous Clause Exchange for Malleable SAT Solving

Sönnichsen, Malte


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