FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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)
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)
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
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)