Asynchronous Clause Exchange for Malleable SAT Solving
- Forschungsthema:SAT Solving, Distributed Algorithms
- Typ:Masterarbeit
- Datum:August 2021
- Betreuung:
Dominik Schreiber, Markus Iser
- Bearbeitung:
Malte Sönnichsen
- Links:PDF
Dominik Schreiber, Markus Iser
Malte Sönnichsen