@conference {223,
	title = {Search-Space Partitioning for Parallelizing SMT Solvers},
	booktitle = {SAT 2015},
	year = {2015},
	author = {Antti E. J. Hyv{\"a}rinen and Matteo Marescotti and Natasha Sharygina}
}
