Search-Space Partitioning for Parallelizing SMT Solvers

TitleSearch-Space Partitioning for Parallelizing SMT Solvers
Publication TypeConference Paper
Year of Publication2015
AuthorsHyvärinen, Antti E. J., Marescotti Matteo, and Sharygina Natasha
Conference NameSAT 2015