Fortgeschrittene Themen im SAT Solving
- Typ: Seminar (S)
-
Ort:
nach Vereinbarung
-
Zeit:
nach Vereinbarung
- Dozent:
- SWS: 2
- LVNr.: 2400020
- Hinweis: Präsenz
Inhalt | The seminar is a journey through advanced methods of parallelization and diversification in modern solvers for the propositional Satisfiability problem (SAT). Starting at the wells of "ManySAT", we travel the roads of "Painless" to the origins of "HordeSat". We will understand the essence of "Cube-and-Conquer" and its most prominent application [1]. Finally, in the valley of statistical significance, we will learn about the power of "SATzilla" and admire the beauty of "SNNAP". |
Vortragssprache | Deutsch/Englisch |