This page shows all presentations of this author published in EasyChair Smart Slide.
Faster LRAT Checking than Solving with CaDiCaL
Florian Pollitt, Mathias Fleury and Armin Biere
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
Mathias Fleury and Armin Biere
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)
Mathias Fleury, Jasmin Christian Blanchette and Peter Lammich