Search-Space Partitioning for Parallelizing SMT Solvers

TitleSearch-Space Partitioning for Parallelizing SMT Solvers
Publication TypeConference Paper
Year of Publication2015
AuthorsMarescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha
Conference NameMEMICS2015
URLhttp://verify.inf.usi.ch/sites/default/files/memics2015.pdf