Jelena Budakovic

According to our database, Jelena Budakovic authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Visualising SMT-Based Parallel Constraint Solving.

Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017