@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} }