Author: Mathias Fleury

Author: Mathias Fleury

This page shows all presentations of this author published in EasyChair Smart Slide.

Certifying Incremental SAT Solving

Certifying Incremental SAT Solving

Katalin Fazekas, Florian Pollitt, Mathias Fleury and Armin Biere

Faster LRAT Checking than Solving with CaDiCaL

Faster LRAT Checking than Solving with CaDiCaL

Florian Pollitt, Mathias Fleury and Armin Biere

A More Pragmatic CDCL for IsaSAT and Targetting LLVM

A More Pragmatic CDCL for IsaSAT and Targetting LLVM

Mathias Fleury and Peter Lammich

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

SPASS-SATT a CDCL(LA) Solver (System Description)

SPASS-SATT a CDCL(LA) Solver (System Description)

Martin Bromberger, Mathias Fleury, Simon Schwarz and Christoph Weidenbach

A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract)

A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract)

Mathias Fleury, Jasmin Christian Blanchette and Peter Lammich

Presentations in this collection: 6