TY  - RPRT
TI  - Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
AU  - Gabriele Masina
AU  - Roberto Sebastiani
PY  - 2025
UR  - https://arxiv.org/abs/2502.19963
ID  - 2502.19963
ER  -