@conference {290,
	title = {Lookahead-Based SMT Solving},
	booktitle = {LPAR-22},
	year = {2018},
	month = {November 2018},
	publisher = {EasyChair},
	organization = {EasyChair},
	address = {Awassa, Ethiopia},
	url = {http://www.inf.usi.ch/postdoc/hyvarinen/publications/HyvarinenMSCS_LPAR2018.pdf},
	author = {Antti E. J. Hyv{\"a}rinen and Matteo Marescotti and Parvin Sadigova and Hana Chockler and Natasha Sharygina}
}
