| 16:00-16:10 |
Welcome |
| 16:10-16:30 |
Noel Arteche and Matthias van der Hallen: A Formal Language for QBF Family Definitions |
| 16:30-16:50 |
Olaf Beyersdorff, Joshua Blinkhorn and Meena Mahajan: Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution |
| 16:50-17:10 |
Oliver Kullmann and Ankit Shukla: Generating random DQCNFs |
| 17:10-17:30 |
Break/Informal Chat |
| 17:30-18:00 |
QBF Eval 2020 |
| 18:00-19:00 |
Markus Rabe: Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning (Invited) |
| 19:00-20:00 |
Discussion |