Cristian Stenico

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

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