Clause Sharing and Partitioning for Cloud-Based SMT Solving
Informazioni aggiuntive
Autori
Sharygina N.,
Marescotti M.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2016
Lingua
Inglese
Nome convegno
14th ATVA 2016
Luogo convegno
Chiba, Japan
Data convegno
October 17-20, 2016
