[  20 | 20 ]

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