Jump to Content

MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing

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

Abstract