Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina. Visualising SMT-Based Parallel Constraint Solving. In Martin Brain, Liana Hadarean, editors, Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Coference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017. Volume 1889 of CEUR Workshop Proceedings, pages 40-49, CEUR-WS.org, 2017. [doi]
Abstract is missing.