QBF PROGRAM
Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26E: Joint QBF Session (joint with PC)
Chair:
Location: Ullmann 309
| 09:00 | QBF Solvers and their Proof Systems (abstract) |
| 10:00 | QCDCL with Cube Learning or Pure Literal Elimination – What is best? (abstract)    PRESENTER: Benjamin Böhm |
09:00-10:30 Session 26H: Joint PC/QBF Session
This session will be held jointly with the Proof Complexity (PC) Workshop.
Location: Ullmann 309
| 09:00 | QBF Solvers and their Proof Systems (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 31L: Joint PC/QBF Session
This session will be held jointly with the Proof Complexity (PC) Workshop.
Location: Ullmann 309
| 11:00 | Strategy Extraction and Proof (abstract) |
| 12:00 | QCDCL with Cube Learning or Pure Literal Elimination - Part 2 (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 34M
Location: Ullmann 205
| 14:00 | Moving Definition Variables in Quantified Boolean Formulas (Extended Abstract) (abstract) PRESENTER: Joseph Reeves |
| 14:30 | Advances in Quantified Integer Programming (abstract) |
| 15:00 | A Data-Driven Approach for Boolean Functional Synthesis (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 37L
Location: Ullmann 205
| 16:00 | From QBF to the Dynamic Logic of Propositional Assignments and back: a computational perspective (abstract) |
| 16:30 | Lower Bounds for QBFs of Bounded Treewidth (abstract) |
18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event