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