Silvia Tomasi

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Topics

Modulo Theories

Statistical Machine Translation

Optimization Problems

Top Venues

ACM Trans. Comput. Log.

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Roberto Sebastiani, Silvia Tomasi
Optimization Modulo Theories with Linear Rational Costs. ACM Trans. Comput. Log. 16 (2) (2015)
Roberto Sebastiani, Silvia Tomasi
Optimization Modulo Theories with Linear Rational Costs. CoRR (2014)
Roberto Sebastiani, Silvia Tomasi
Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions. IJCAR (2012)
Roberto Sebastiani, Silvia Tomasi
Optimization in SMT with LA(Q) Cost Functions CoRR (2012)
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. FroCoS (2011)
Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi
FSMC+, a tool for the generation of Java code from statecharts. PPPJ (2007)