MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing

Charles Jordan
Lukasz Kaiser
Florian Lonsing
Martina Seidl
SAT(2014), pp. 430-437
Google Scholar

Abstract