@inproceedings{VEM+2,
title = {BAXMC: a CEGAR approach to Max\# SAT },
author = {Vigouroux, Thomas and Ene, Cristian and Monniaux, David and Mounier, Laurent and Potet, Marie-Laure},
year = {2022},
booktitle = {Conference on Formal Methods in Computer-aided Design -- FMCAD 2022},
pages = {170},
team = {PACSS},
}