HordeQBF: A Modular and Massively Parallel QBF Solver
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas