Search-Space Partitioning for Parallelizing SMT Solvers
Informazioni aggiuntive
Autori
Sharygina N.,
Hyvärinen A.,
Marescotti M.
Tipo
Contributo in atti di convegno
Anno
2015
Lingua
Inglese
Nome convegno
18th SAT 2015
Luogo convegno
Austin, TX, USA
Data convegno
September 24-27, 2015
