FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Towards an Efficient CNF Encoding of Block Ciphers

Konstanty Junosza-Szaniawski and Daniel Waszkiewicz

DPS: a Framework for Deterministic Parallel SAT Solvers

Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue

Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul Through Sharing Instead of Copying Clauses

Mathias Fleury and Armin Biere

Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification

Daniela Kaufmann, Paul Beame, Armin Biere and Jakob Nordstrom

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh and Jakob Nordstrom

TBUDDY: a Proof-Generating BDD Package

Randal Bryant

Dinosat: a SAT Solver with Native DNF Support

Thomas Bartel, Tomas Balyo and Markus Iser

Calculating Sufficient Reasons for Random Forest Classifiers

Markus Iser

SATViz: Real-Time Visualization of Clausal Proofs

Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer and Markus Iser
Total: 9 presentations.