MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing.

Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl

Browse the full SAT paper archive.