HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.