ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving

von Heisinger, Maximilian
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Distributed Cube and Conquer with Paracooba

von Heisinger, Maximilian
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)