TY  - RPRT
TI  - On Optimization Modulo Theories, MaxSMT and Sorting Networks
AU  - Roberto Sebastiani
AU  - Patrick Trentin
PY  - 2017
UR  - https://arxiv.org/abs/1702.02385
ID  - 1702.02385
ER  -