@misc{indiciaefb059095c6f1,
  title = {BAXMC: a CEGAR approach to Max\#SAT},
  author = {Thomas Vigouroux and Cristian Ene and David Monniaux and Laurent Mounier and Marie-Laure Potet},
  year = {2023},
  doi = {10.34727/2022/isbn.978-3-85448-053-2},
  url = {https://arxiv.org/abs/2211.00973},
  note = {Source identifier: 2211.00973}
}