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

Maximilian Heisinger, Martina Seidl, Armin Biere

Browse the full TACAS paper archive.