Jimmy Liang , MMath
I am working on solving Clafer using constraint programming and integrating machine learning into solvers heuristics.
- 1 of 4
- Winter 2012: Model-Based Software Engineering
- Sprint 2015: Computational Intelligence / Intelligent Systems Design