Asynchronous Clause Exchange for Malleable SAT Solving
- Subject:SAT Solving, Distributed Algorithms
- Type:Masterarbeit
- Date:August 2021
- Supervisor:
Dominik Schreiber, Markus Iser
- Student:
Malte Sönnichsen
- Links:PDF
Dominik Schreiber, Markus Iser
Malte Sönnichsen