@misc{indiciae13b9a72ab620,
  title = {Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories},
  author = {Gabriele Masina and Roberto Sebastiani},
  year = {2025},
  url = {https://arxiv.org/abs/2502.19963},
  note = {Source identifier: 2502.19963}
}