QBF PROGRAM
Sunday, July 8th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 34L: Joint QBF / Proof Complexity session (joint with PC)
Chair:
Location: Maths L5
09:00 | Lower Bound Techniques for QBF Proof Systems (abstract) |
10:00 | Towards the Semantics of QBF Clauses (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 38N: Joint QBF / Proof Complexity session (joint with PC)
Chair:
Location: Maths L5
11:00 | Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs (abstract) |
11:30 | Short Proofs in QBF Expansion (abstract) |
11:50 | The Symmetry Rule for Quantified Boolean Formulas (abstract) |
12:10 | Discussion (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 40P
Chair:
Location: Maths L5
14:00 | Preprocessing for (D)QBF (abstract) |
14:20 | Initial study on the effect of different QBF solvers and preprocessors on link-information sensitive QBF encodings for Abstract Dialectical Frameworks (abstract) |
14:40 | Tractability results for structured quantified CNF-formulas via knowledge compilation (abstract) |
15:00 | A Grounder From Second-Order Logic To QBF (abstract) |
15:20 | PrideMM: QBFEVAL Benchmarks (QBFEval18 Contribution) (abstract) |
15:25 | Chess Solving and Composing (QBFEval18 Contribution) (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 42P
Chair:
Location: Maths L5
16:00 | Understanding and Extending Incremental Determinization for 2QBF (abstract) |
16:20 | Portfolio-Based Algorithm Selection for Circuit QBFs (abstract) |
16:40 | DepQBF (QBFEval'18 Contribution) (abstract) |
16:45 | RAReQS, QFUN, QESTO (QBFEval'18 Contribution) (abstract) |
16:50 | Qute (QBFEval'18 Contribution) (abstract) |
16:55 | QBFEval 2018 (abstract) |
17:20 | Discussion (abstract) |