Publication

Back to overview

Search-Space Partitioning for Parallelizing SMT Solvers

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Publication date 2015
Author Hyvarinen A.E.J., Marescotti M., Sharygina N.,
Project Harnessing Parallel Computing for Model Checking
Show all

Proceedings (peer-reviewed)

Title of proceedings SAT 2015

-