Media type: E-Article Title: OptiMathSAT: A Tool for Optimization Modulo Theories Contributor: Sebastiani, Roberto; Trentin, Patrick Published: Springer Science and Business Media LLC, 2020 Published in: Journal of Automated Reasoning, 64 (2020) 3, Seite 423-460 Language: English DOI: 10.1007/s10817-018-09508-6 ISSN: 0168-7433; 1573-0670 Origination: Footnote: