Program in EasyChair
Program
| 09:00 |
Joshua Blinkhorn and Olaf Beyersdorff |
Dependency Schemes in QBF Calculi: Semantics and Soundness |
|
09:30
|
Günther Charwat and Stefan Woltran
|
Dynamic Programming-based QBF Solving
|
|
10:00
|
Diptarama, Ryo Yoshinaka and Ayumi Shinohara
|
QBF Encoding of Generalized Tic-Tac-Toe
|
|
11:00
|
Mikolas Janota
|
On Conflicts and Strategies in QBF
|
11:25
|
Christoph Scholl and Ralf Wimmer
|
Skolem Functions for DQBF
|
|
11:50
|
Martin Suda
|
First-Order Logic and Blocked Clauses
|
|
14:00
|
Hans Kleine Büning
|
Open Problems for Quantified Boolean Formulas
|
|
15:30
|
Florian Lonsing, Mikolas Janota, Shahab Tasharrofi, Allen Van Gelder, Markus Rabe, Konstantin Korovin and Leander Tentrup
|
Short Presentations of Submissions to QBF Eval 2016
|
|
16:30
|
Luca Pulina
|
QBFEval 2016
|