Items where Author is "Tomasi, Silvia"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 3.
Sebastiani, Roberto and Tomasi, Silvia (2012) Optimization in SMT with LA(Q) Cost Functions. Trento : Università degli Studi di Trento.
Tomasi, Silvia (2010) Stochastic Local Search for SMT. UNSPECIFIED. (Unpublished)
Griggio, Alberto and Sebastiani, Roberto and Tomasi, Silvia (2009) Stochastic Local Search for SMT: a Preliminary Report. UNSPECIFIED. (Submitted)
Unitn-eprints Research supports Open Archives Protocol for Metadata Harvesting OAI 2.0
with a base URL of http://eprints.biblio.unitn.it/cgi/oai2
Contact and information