FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
POS PROGRAM
Monday, August 1st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26G: Applications
Location: Ullmann 311
09:00
Towards an Efficient CNF Encoding of Block Ciphers (abstract)
09:30
Calculating Sufficient Reasons for Random Forest Classifiers (abstract)
10:00
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification (abstract)
PRESENTER: Jakob Nordstrom
10:30-11:00Coffee Break
11:00-12:30 Session 31K: SAT and Parallel Solving
Location: Ullmann 311
11:00
Dinosat: A SAT Solver with Native DNF Support (abstract)
PRESENTER: Markus Iser
11:30
DPS: A Framework for Deterministic Parallel SAT Solvers (abstract)
12:00
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.

14:00-15:30 Session 34L: Proofs I
Location: Ullmann 311
14:00
TBUDDY: A Proof-Generating BDD Package (abstract)
14:30
Combining CDCL, Gauss-Jordan Elimination, and Proof Generation (abstract)
PRESENTER: Mate Soos
15:00
Towards the shortest DRAT proof of the Pigeonhole Principle (abstract)
PRESENTER: Marijn Heule
15:30-16:00Coffee Break
16:00-17:00 Session 37K: Proofs II
Location: Ullmann 311
16:00
SATViz: Real-Time Visualization of Clausal Proofs (abstract)
PRESENTER: Tim Holzenkamp
16:30
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation (abstract)
PRESENTER: Jakob Nordstrom
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event