QBF 2016 PROGRAM
Monday, July 4th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:30 Session 1: Reception desk
Location: Labri Main Entrance
09:00-10:30 Session 2: Presentations I
Location: Room 3 First floor, building A29
| 09:00 | Dependency Schemes in QBF Calculi: Semantics and Soundness ( abstract ) |
| 09:30 | Dynamic Programming-based QBF Solving ( abstract ) |
| 10:00 | QBF Encoding of Generalized Tic-Tac-Toe ( abstract ) |
10:30-11:00Coffee Break
11:00-12:30 Session 4B: Presentations II
Location: Room 3 First floor, building A29
| 11:00 | On Conflicts and Strategies in QBF ( abstract ) |
| 11:25 | Skolem Functions for DQBF ( abstract ) |
| 11:50 | First-Order Logic and Blocked Clauses ( abstract ) |
| 12:10 | Discussion ( abstract ) |
12:30-14:00Lunch Break
14:00-15:00 Session 5B: Keynote
Location: Room 3 First floor, building A29
| 14:00 | Open Problems for Quantified Boolean Formulas ( abstract ) |
15:00-15:30Coffee Break
15:30-17:30 Session 6B: Competition
Competition
Location: Room 3 First floor, building A29
| 15:30 | Short Presentations of Submissions to QBF Eval 2016 ( abstract ) |
| 16:30 | QBFEval 2016 ( abstract ) |