TY  - RPRT
TI  - Optimization Modulo Theories with Linear Rational Costs
AU  - Roberto Sebastiani
AU  - Silvia Tomasi
PY  - 2014
UR  - https://arxiv.org/abs/1410.6039
ID  - 1410.6039
ER  -