@conference {250,
	title = {Clause Sharing and Partitioning for Cloud-Based SMT Solving},
	booktitle = {ATVA 2016},
	year = {2016},
	url = {http://verify.inf.usi.ch/sites/default/files/ATVA2016.pdf},
	author = {Matteo Marescotti and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
