13. April 2021 16.04.2021 13:30 Uhr Benjamin Schlechter "Parallelisierung von probSAT" Ulm University 04/13/2021 Ulm University