Thomas Vigouroux
Research
SAT
BaxMC: a CEGAR approach to Max#SAT (FMCAD22)