The Second QBF Solvers Comparative Evaluation.

Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella

Browse the full SAT paper archive.