| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Server: nginx/1.18.0 (Ubuntu)
Date: Thu, 15 Jan 2026 14:01:54 GMT
Content-Type: text/html
Content-Length: 178
Location: https://ceur-ws.org/Vol-1719/
Connection: keep-alive
HTTP/1.1 200 OK
Server: nginx/1.18.0 (Ubuntu)
Date: Thu, 15 Jan 2026 14:01:54 GMT
Content-Type: text/html; charset=utf-8
Last-Modified: Tue, 29 Nov 2022 15:47:20 GMT
Transfer-Encoding: chunked
Connection: keep-alive
ETag: W/"63862988-1242"
Content-Encoding: gzip
CEUR-WS.org/Vol-1719 - Quantified Boolean Formulas (QBF) 2016
QBF 2016
Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)
Edited by
Florian Lonsing *
* Vienna University of Technology,
Knowledge-Based Systems Group, 1040 Vienna, Austria
** Johannes Kepler University Linz, Institute for Formal Models and Verification, 4040 Linz, Austria
2016-11-02: submitted by Martina Seidl, metadata incl. bibliographic data published under Creative Commons CC0
2016-11-03: published on CEUR-WS.org |valid HTML5|
QBF 2016
Quantified Boolean Formulas
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.
Edited by
Florian Lonsing *
Martina Seidl **
* Vienna University of Technology,
Knowledge-Based Systems Group, 1040 Vienna, Austria** Johannes Kepler University Linz, Institute for Formal Models and Verification, 4040 Linz, Austria
Table of Contents
-
The Ninth QBF Solvers Evaluation - Preliminary Report (invited paper)
1-13
Luca Pulina -
QBF Encoding of Generalized Tic-Tac-Toe
14-26
Diptarama, Ryo Yoshinaka, Ayumi Shinohara -
Dynamic Programming-based QBF Solving
27-40
Günther Charwat, Stefan Woltran -
Dependency Schemes in QBF Calculi:
Semantics and Soundness
41-48
Joshua Blinkhorn, Olaf Beyersdorff -
ASPQ: An ASP-Based 2QBF Solver
49-54
Giovanni Amendola, Carmine Dodaro, Francesco Ricca -
The QBF Solver AIGSolve
55-62
Christoph Scholl, Florian Pigorsch -
SAT-to-SAT in QBFEval 2016
63-70
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016-11-02: submitted by Martina Seidl, metadata incl. bibliographic data published under Creative Commons CC0
2016-11-03: published on CEUR-WS.org |valid HTML5|