![]() | Up a level |
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)