@conference {335,
	title = {OpenSMT2: An SMT Solver for Multi-Core and Cloud Computing},
	year = {2016},
	author = {Antti E. J. Hyv{\"a}rinen and Matteo Marescotti and Leonardo Alt and Natasha Sharygina}
}
