Talks Mathias Fleury

List of some recent public talks.

Talks 2020

Armin Biere and Mathias Fleury.
Chasing Target Phases
11th Workshop on Pragmatics of SAT (POS'20)
Cyberspace, July 3, 2020.
[ slides | video | experiments | submission. ]

Defence
One Thousand and One Refinement: From CDCL to a Verified SAT Solver
Page of the Graduate School
Saarbr├╝cken, 28. January 2020

Talks 2020


Reconstructing veriT proofs in Isabelle/HOL
UPSCaLe meeting
Paris, November 29, 2019