Hi, I am Thomas Vigouroux, a PhD student at Verimag.

I am supervised by Marius BOZGA and Laurent MOUNIER, and I am part of the PACSS team.

Latest Content

  • BaxMC: a CEGAR approach to Max#SAT (FMCAD22)