Unser Tool Paper "ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving" wurde bei TACAS 2023 (29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems) in Paris akzeptiert! Die Konferenz findet vom 22. bis 27. April in Paris statt, wo wir unsere Arbeit vorstellen werden. Diese Forschung baut auf Max Heisingers Masterarbeit über Paracooba auf, die zuletzt den Adolf-Adam-Preis gewann.

Homepage der Konferenz: https://etaps.org/2023/tacas, öffnet eine externe URL in einem neuen Fenster