TY  - RPRT
TI  - Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
AU  - Andrea Callia D'Iddio
AU  - Michael Huth
PY  - 2017
UR  - https://arxiv.org/abs/1702.01332
ID  - 1702.01332
ER  -