QBF — PROGRAM
Days: Sunday, 19 July 2026
Sunday, 19 July 2026
09:00-10:20
Pragmatics of QBF
QBF
Session Chair:
Location:
C5.02
| 09:00-09:40 |
Invited Talk - Dependency Schemes from Antiquity to Modernity (abstract) 40 min
1 TU Wien
|
| 09:40-10:00 |
Certification of True QBF Formulas in Expansion-Based Solving (abstract) 20 min
1 Johannes Kepler University - Linz
|
| 10:00-10:20 |
Solving Connect Four with QBF: The Progress So Far (abstract) 20 min
1 University of Potsdam, Potsdam, Germany
2 Potassco Solutions, Potsdam, Germany
|
10:20-10:50
Coffee Break
QBF
Location:
C5.02
10:50-12:10
Dependency QBF
QBF
Session Chair:
Location:
C5.02
| 10:50-11:10 |
Strengthening the Implication-Free DQBF Dependency Scheme (abstract) 20 min
1 Altair Engineering GmbH
2 University of Freiburg
|
| 11:10-11:30 |
Symmetry Breaking in Dependency Quantified Boolean Formulas (abstract) 20 min
1 JKU Linz
|
| 11:30-11:50 |
On the Practicality of DQBF Solving for Succinctly Represented Graph Problems (abstract) 20 min
1 National Taiwan University
2 University of Liverpool
|
| 11:50-12:10 |
QBF Gallery (abstract) 20 min
1 JKU
2 University of Sassari
|
12:10-14:00
Lunch
QBF
Location:
C5.02
14:00-15:40
QBF Proof Complexity (PC and QBF Joint Session)
QBF
Session Chair:
Location:
C5.02
| 14:00-14:40 |
Invited Talk - The Complexity of Quantified CDCL (abstract) 40 min
1 University of Jena
|
| 14:40-15:00 |
Quantified CDCL and Dependency Schemes: A proof-theoretic study (abstract) 20 min
1 IIT Bombay
2 The Institute of Mathematical Sciences, Homi Bhabha National Institute
|
| 15:00-15:20 |
A Boolean static proof system for Quantified Boolean Formulas. (abstract) 20 min
1 LMU
2 University of Auckland
|
| 15:20-15:40 |
A QBF-like Fragment of EPR (abstract) 20 min
1 Czech Institute of Informatics Robotics and Cybernetics
|
15:40-16:10
Coffee Break
QBF
Location:
C5.02
16:10-17:30
QBF Counting, Sampling and Synthesis
QBF
Session Chair:
Location:
C5.02
| 16:10-16:30 |
On Knowledge Compilation Languages for QBFs (abstract) 20 min
1 The Institute of Mathematical Sciences (A CI of Homi Bhabha National Institute), Chennai, India
2 School of Computer Science, The University of Sheffield, Sheffield, United Kingdom
3 Indian Institute of Technology Ropar, Rupnagar, India
|
| 16:30-16:50 |
Solution-based QBF Equivalences And How To Check Them (abstract) 20 min
1 Johannes Kepler University Linz
|
| 16:50-17:10 |
Exploring Toda's Theorem as a QBF Solver (abstract) 20 min
1 The Open University of Israel, Ra'anana, Israel
2 The Hebrew University of Jerusalem, The Open University of Israel
|
| 17:10-17:30 |
Revisiting Encodings of Bounded Synthesis (abstract) 20 min
1 National Taiwan University
2 University of Liverpool
|