@proceedings {246,
	title = {Combining parallel techniques for Cloud-Based SMT Solving},
	year = {2016},
	url = {http://verify.inf.usi.ch/sites/default/files/PhD-iFM2016.pdf},
	author = {Matteo Marescotti}
}
