Statistics
Publications
3
Citations
114
H-Index
3
Active since
2007
Affiliations
University of Trento(Current)
Silvia Tomasi is an author at University of Trento specializing in computing, computer science, and minimization of boolean functions.
Publications per year
2007–2015
3
3
Optimization in SMT with LA(Q) Cost Functions
Roberto Sebastiani, Silvia Tomasi · arXiv (Cornell University) · 2012 · 23 citations · Full text
1–3 of 3