Conference: POS-22 (13th Pragmatics of SAT international workshop)

Conference: POS-22 (13th Pragmatics of SAT international workshop)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Towards an Efficient CNF Encoding of Block Ciphers

Towards an Efficient CNF Encoding of Block Ciphers

Konstanty Junosza-Szaniawski and Daniel Waszkiewicz

DPS: a Framework for Deterministic Parallel SAT Solvers

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

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

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

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh and Jakob Nordstrom

TBUDDY: a Proof-Generating BDD Package

TBUDDY: a Proof-Generating BDD Package

Dinosat: a SAT Solver with Native DNF Support

Dinosat: a SAT Solver with Native DNF Support

Thomas Bartel, Tomas Balyo and Markus Iser

Calculating Sufficient Reasons for Random Forest Classifiers

Calculating Sufficient Reasons for Random Forest Classifiers

SATViz: Real-Time Visualization of Clausal Proofs

SATViz: Real-Time Visualization of Clausal Proofs

Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer and Markus Iser

Presentations in this collection: 9