POS Program

POS PROGRAM

Monday, August 1st

08:30-09:00Coffee & Refreshments

Chair:

Chair:

09:00	Daniel Waszkiewicz and Konstanty Junosza-Szaniawski Towards an Efficient CNF Encoding of Block Ciphers (abstract) PRESENTER: Daniel Waszkiewicz
09:30	Markus Iser Calculating Sufficient Reasons for Random Forest Classifiers (abstract)
10:00	Daniela Kaufmann, Paul Beame, Armin Biere and Jakob Nordstrom Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification (abstract) PRESENTER: Jakob Nordstrom

10:30-11:00Coffee Break

Chair:

11:00	Thomas Bartel, Tomas Balyo and Markus Iser Dinosat: A SAT Solver with Native DNF Support (abstract) PRESENTER: Markus Iser
11:30	Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue DPS: A Framework for Deterministic Parallel SAT Solvers (abstract) PRESENTER: Hidetomo Nabeshima
12:00	Mathias Fleury and Armin Biere Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses (abstract) PRESENTER: Armin Biere

12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

Chair:

14:00	Randal Bryant TBUDDY: A Proof-Generating BDD Package (abstract)
14:30	Randal Bryant and Mate Soos Combining CDCL, Gauss-Jordan Elimination, and Proof Generation (abstract) PRESENTER: Mate Soos
15:00	Isaac Grosof, Naifeng Zhang and Marijn Heule Towards the shortest DRAT proof of the Pigeonhole Principle (abstract) PRESENTER: Marijn Heule

15:30-16:00Coffee Break

Chair:

16:00	Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer and Markus Iser SATViz: Real-Time Visualization of Clausal Proofs (abstract) PRESENTER: Tim Holzenkamp
16:30	Bart Bogaerts, Stephan Gocht, Ciaran McCreesh and Jakob Nordstrom Certified Symmetry and Dominance Breaking for Combinatorial Optimisation (abstract) PRESENTER: Jakob Nordstrom

Chair:

Chair:

Chair:

Location: Taub 1

18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event