@article {373,
	title = {A Solicitous Approach to Smart Contract Verification},
	journal = {ACM Transactions on Privacy and Security},
	year = {2022},
	type = {Full-Length Research Paper},
	url = {https://dl.acm.org/doi/10.1145/3564699},
	author = {Rodrigo Otoni and Matteo Marescotti and Leonardo Alt and Patrick Eugster and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
@conference {300,
	title = {{SMTS:} Distributed, Visualized Constraint Solving},
	booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018},
	year = {2018},
	author = {Matteo Marescotti and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
@conference {232,
	title = {Search-Space Partitioning for Parallelizing SMT Solvers},
	booktitle = {MEMICS2015},
	year = {2015},
	url = {http://verify.inf.usi.ch/sites/default/files/memics2015.pdf},
	author = {Matteo Marescotti and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
@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}
}
