Silvia Tomasi

According to our database, Silvia Tomasi authored at least 6 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Optimization Modulo Theories with Linear Rational Costs.

Roberto Sebastiani, Silvia Tomasi

ACM Trans. Comput. Log., 2015

2014

Optimization Modulo Theories with Linear Rational Costs.

Silvia Tomasi

PhD thesis, 2014

2012

Optimization in SMT with LA(Q) Cost Functions

Roberto Sebastiani, Silvia Tomasi

CoRR, 2012

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

Roberto Sebastiani, Silvia Tomasi

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT.

Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

2007

FSMC+, a tool for the generation of Java code from statecharts.

Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007