@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},
}
