Login / Signup
QBF@SAT
2016
2016
2016
Keyphrases
Publications
2016
Luca Pulina
The Ninth QBF Solvers Evaluation - Preliminary Report.
QBF@SAT
(2016)
Christoph Scholl
,
Florian Pigorsch
The QBF Solver AIGSolve.
QBF@SAT
(2016)
Bart Bogaerts
,
Tomi Janhunen
,
Shahab Tasharrofi
SAT-to-SAT in QBFEval 2016.
QBF@SAT
(2016)
Joshua Blinkhorn
,
Olaf Beyersdorff
Dependency Schemes in QBF Calculi: Semantics and Soundness.
QBF@SAT
(2016)
Giovanni Amendola
,
Carmine Dodaro
,
Francesco Ricca
ASPQ: An ASP-Based 2QBF Solver.
QBF@SAT
(2016)
Diptarama
,
Ryo Yoshinaka
,
Ayumi Shinohara
QBF Encoding of Generalized Tic-Tac-Toe.
QBF@SAT
(2016)
Günther Charwat
,
Stefan Woltran
Dynamic Programming-based QBF Solving.
QBF@SAT
(2016)
volume 1719, 2016
Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016.
QBF@SAT
1719 (2016)