TY  - RPRT
TI  - BAXMC: a CEGAR approach to Max#SAT
AU  - Thomas Vigouroux
AU  - Cristian Ene
AU  - David Monniaux
AU  - Laurent Mounier
AU  - Marie-Laure Potet
PY  - 2023
DO  - 10.34727/2022/isbn.978-3-85448-053-2
UR  - https://arxiv.org/abs/2211.00973
ID  - 2211.00973
ER  -