Satisfiability Modulo the Theory of Costs: Foundations and Applications. - Alessandro Cimatti; Anders Franzén; Alberto Griggio; Roberto Sebastiani; Cristian Stenico (TACAS, 2010)