Media type: E-Article Title: Tools and Algorithms for the Construction and Analysis of Systems: On Optimization Modulo Theories, MaxSMT and Sorting Networks Contributor: Sebastiani, Roberto; Trentin, Patrick Published: Springer Berlin Heidelberg, 2017 Published in: Tools and Algorithms for the Construction and Analysis of Systems (2017), Seite 231-248 Language: Not determined DOI: 10.1007/978-3-662-54580-5_14 ISBN: 9783662545799; 9783662545805 ISSN: 0302-9743; 1611-3349 Origination: Footnote: