Media type: E-Article Title: Computer Aided Verification: OptiMathSAT: A Tool for Optimization Modulo Theories Contributor: Sebastiani, Roberto; Trentin, Patrick Published: Springer International Publishing, 2015 Published in: Computer Aided Verification (2015), Seite 447-454 Language: Not determined DOI: 10.1007/978-3-319-21690-4_27 ISBN: 9783319216904; 9783319216898 ISSN: 0302-9743; 1611-3349 Origination: Footnote: