Keyword:QBF

Publications
Classes of Hard Formulas for QBF Resolution Agnes Schleitzer and Olaf Beyersdorff EasyChair Preprint 8633
A Grounder From Second-Order Logic To QBF Matthias van der Hallen and Gerda Janssens EasyChair Preprint 392
Towards the Semantics of QBF Clauses Martin Suda EasyChair Preprint 361
The Potential of Interference-Based Proof Systems Marijn Heule and Benjamin Kiesl In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
On Conflicts and Strategies in QBF Nikolaj Bjorner, Mikolas Janota and William Klieber In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Playing with Quantified Satisfaction Nikolaj Bjorner and Mikolas Janota In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
iDQ: Instantiation-Based DQBF Solving Andreas Fröhlich, Gergely Kovásznai, Armin Biere and Helmut Veith In:POS-14. Fifth Pragmatics of SAT workshop
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