Tomasi, Silvia
Tomasi, Silvia
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.019 secondi).
Assessing preferences for attributes of city information points: Results from a choice experiment
2018-01-01 Grilli, G.; Tomasi, S.; Bisello, A.
Optimization in SMT with LA(Q) Cost Functions
2012-01-01 Sebastiani, Roberto; Tomasi, Silvia
Optimization in SMT with LA(Q) Cost Functions
2012-01-01 Sebastiani, Roberto; Tomasi, Silvia
Optimization Modulo Theories with Linear Rational Costs
2015-01-01 Sebastiani, Roberto; Tomasi, Silvia
Stochastic Local Search for SMT
2010-01-01 Tomasi, Silvia
Stochastic Local Search for SMT: A Preliminary Report
2009-01-01 Tomasi, Silvia; Sebastiani, Roberto; Griggio, Alberto
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT
2011-01-01 Griggio, Alberto; Q. S., Phan; Tomasi, Silvia; Sebastiani, Roberto