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
Reintroducing the Second Player in EPR Leroy Chew, Mikoláš Janota, Miroslav Olšák and Martin Suda In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
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