Keyword:Quantified Boolean Formulas

Publications
FERPModels: a Certification Framework for Expansion-Based QBF Solving Vedad Hadžić, Roderick Bloem, Ankit Shukla and Martina Seidl EasyChair Preprint 9624
qbf2epr: A Tool for Generating EPR Formulas from QBF Martina Seidl, Florian Lonsing and Armin Biere In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Designing a solver competition: the QBFEVAL'10 case study Claudia Peschiera, Luca Pulina and Armando Tacchella In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions