SMTS: Distributed, Visualized Constraint Solving

TitleSMTS: Distributed, Visualized Constraint Solving
Publication TypeConference Paper
Year of Publication2018
AuthorsMarescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha
Conference Name{LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018