Keyword:Distributed SMT

Publications
SMTS: Distributed, Visualized Constraint Solving Matteo Marescotti, Antti Hyvärinen and Natasha Sharygina In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning