default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQBF@SAT 2016: Bordeaux, France
- Florian Lonsing, Martina Seidl:
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. CEUR Workshop Proceedings 1719, CEUR-WS.org 2016 - Luca Pulina:
The Ninth QBF Solvers Evaluation - Preliminary Report. 1-13 - Diptarama, Ryo Yoshinaka, Ayumi Shinohara:
QBF Encoding of Generalized Tic-Tac-Toe. 14-26 - Günther Charwat, Stefan Woltran:
Dynamic Programming-based QBF Solving. QBF@SAT 2016: 27-40 - Joshua Blinkhorn, Olaf Beyersdorff:
Dependency Schemes in QBF Calculi: Semantics and Soundness. 41-48 - Giovanni Amendola, Carmine Dodaro, Francesco Ricca:
ASPQ: An ASP-Based 2QBF Solver. 49-54 - Christoph Scholl, Florian Pigorsch:
The QBF Solver AIGSolve. 55-62 - Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
SAT-to-SAT in QBFEval 2016. 63-70
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-25 17:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
