HordeQBF: A Modular and Massively Parallel QBF Solver.

Toms Balyo, Florian Lonsing

Browse the full SAT paper archive.