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]
@inproceedings{BudakovicMHS17,
title = {Visualising SMT-Based Parallel Constraint Solving},
author = {Jelena Budakovic and Matteo Marescotti and Antti E. J. Hyvärinen and Natasha Sharygina},
year = {2017},
url = {http://ceur-ws.org/Vol-1889/paper4.pdf},
researchr = {https://researchr.org/publication/BudakovicMHS17},
cites = {0},
citedby = {0},
pages = {40-49},
booktitle = {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},
editor = {Martin Brain and Liana Hadarean},
volume = {1889},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}