Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce. The Seventh QBF Solvers Evaluation (QBFEVAL 10). In Ofer Strichman, Stefan Szeider, editors, Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Volume 6175 of Lecture Notes in Computer Science, pages 237-250, Springer, 2010. [doi]
Abstract is missing.