TY  - RPRT
TI  - Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
AU  - Roberto Sebastiani
AU  - Patrick Trentin
PY  - 2015
UR  - https://arxiv.org/abs/1410.5568
ID  - 1410.5568
ER  -