Satisfiability Modulo the Theory of Costs: Foundations and Applications.

Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani, Cristian Stenico

Browse the full TACAS paper archive.