BaxMC: a CEGAR approach to Max#SAT. - Thomas Vigouroux; Cristian Ene; David Monniaux; Laurent Mounier; Marie-Laure Potet (FMCAD, 2022)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

Function Synthesis for Maximizing Model Counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (VMCAI (1), 2024)