Media type: E-Article Title: Automated Reasoning: Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions Contributor: Sebastiani, Roberto; Tomasi, Silvia Published: Springer Berlin Heidelberg, 2012 Published in: Automated Reasoning (2012), Seite 484-498 Language: Not determined DOI: 10.1007/978-3-642-31365-3_38 ISSN: 0302-9743; 1611-3349 Origination: Footnote: