Combining parallel techniques for Cloud-Based SMT Solving

TitleCombining parallel techniques for Cloud-Based SMT Solving
Publication TypeConference Proceedings
Year of Conference2016
AuthorsMarescotti, Matteo
Conference NamePhD@iFM 2016
URLhttp://verify.inf.usi.ch/sites/default/files/PhD-iFM2016.pdf