This page shows all presentations of this author published in EasyChair Smart Slide.
Verifying Models with Dolmen
Guillaume Bury and François Bobot
Centralizing Equality Reasoning in MCSAT
François Bobot, Stéphane Graham-Lengrand, Bruno Marre and Guillaume Bury