OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
Informazioni aggiuntive
Autori
Sharygina N.,
Hyvärinen A.,
Marescotti M.,
Alt L.
Tipo
Contributo in atti di convegno
Anno
2016
Lingua
Inglese
Nome convegno
19th SAT 2016
Luogo convegno
Bordeaux, France
Data convegno
July 5-8, 2016
