Publication

Back to overview

Search-Space Partitioning for Parallelizing SMT Solvers

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Publication date 2015
Project Harnessing Parallel Computing for Model Checking
Show all

Proceedings (peer-reviewed)

Title of proceedings SAT 2015

-