HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:QBF

Papers
Classes of Hard Formulas for QBF Resolution
Agnes Schleitzer and Olaf Beyersdorff
EasyChair Preprint no. 8633
A Grounder From Second-Order Logic To QBF
Matthias van der Hallen and Gerda Janssens
EasyChair Preprint no. 392
Towards the Semantics of QBF Clauses
Martin Suda
EasyChair Preprint no. 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
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
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
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-2023 easychair.org. All rights reserved.