Silvia Tomasi

Optimization in SMT with LA(Q) Cost Functions

Roberto Sebastiani, Silvia Tomasi, R. Sebastiani, 2012 .

Optimization Modulo Theories with Linear Rational Costs

Silvia Tomasi, Silvia Tomasi, 2014, ACM Trans. Comput. Log..

Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions

Roberto Sebastiani, Silvia Tomasi, R. Sebastiani, 2012, IJCAR.

Stochastic Local Search for SMT

Silvia Tomasi, Silvia Tomasi, 2010 .

Stochastic Local Search for SMT: a Preliminary Report

Alberto Griggio, Roberto Sebastiani, Silvia Tomasi, 2009 .

Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT

Alberto Griggio, Roberto Sebastiani, Quoc-Sang Phan, 2011, FroCoS.