The Seventh QBF Solvers Evaluation (QBFEVAL'10).

Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Ins Lynce

Browse the full SAT paper archive.