Clause Sharing and Partitioning for Cloud-Based SMT Solving

TitleClause Sharing and Partitioning for Cloud-Based SMT Solving
Publication TypeConference Paper
Year of Publication2016
AuthorsMarescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha
Conference NameATVA 2016
URLhttp://verify.inf.usi.ch/sites/default/files/ATVA2016.pdf