Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Stochastic Local Search for SMT: A Preliminary Report
2009-01-01 Tomasi, Silvia; Sebastiani, Roberto; Griggio, Alberto
Stochastic Local Search for SMT
2010-01-01 Tomasi, Silvia
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT
2011-01-01 Griggio, Alberto; Q. S., Phan; Tomasi, Silvia; Sebastiani, Roberto
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
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile