Program

Please see the webpage of the SAT conference for venue information.

Session 1

• 09:00 - 10:00: Alexander Feldman: Toward Computer-Aided Digital Design (invited)
• 10:00 - 10:30: David Narváez: A QSAT Benchmark Based on Vertex-Folkman Problems

Session 2

• 11:00 - 11:30: Aile Ge-Ernst, Christoph Scholl and Ralf Wimmer: Localizing Quantifiers for DQBF
• 11:30 - 12:00: Oliver Kullmann and Ankit Shukla: Autarkies for DQCNF
• 12:00 - 12:30: Leander Tentrup: Expanding Conflict Clauses

Session 3

• 14:00 - 15:00: Stefan Mengel: Width measures for QBF (invited)
• 15:00 - 15:30: Olaf Beyersdorff, Joshua Blinkhorn and Meena Mahajan: Building Strategies into QBF Proofs

Session 4

• 16:00 - 16:30: Valentin Mayer-Eichberger and Abdallah Saffidine: A Compact Encoding from Positional Games into QBF
• 16:30 - 17:00: Luca Pulina, Martina Seidl, Ankit Shukla: QBFEval 2019
• 17:00 - 17:30: Discussion