Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.