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