Visualising SMT-Based Parallel Constraint Solving. - Jelena Budakovic; Matteo Marescotti; Antti E. J. Hyvärinen; Natasha Sharygina (SMT, 2017)