BaxMC: a CEGAR approach to Max#SAT.

Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet

Browse the full FMCAD paper archive.