Media type: E-Article Title: Lecture Notes in Computer Science: Optimization Modulo the Theory of Floating-Point Numbers Contributor: Trentin, Patrick; Sebastiani, Roberto Published: Springer International Publishing, 2019 Published in: Lecture Notes in Computer Science (2019), Seite 550-567 Language: Not determined DOI: 10.1007/978-3-030-29436-6_33 ISSN: 1611-3349; 0302-9743 Origination: Footnote: