Search-Space Partitioning for Parallelizing SMT Solvers.

Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina

Browse the full SAT paper archive.