In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
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
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers", AAAI 2016, Phoenix, Arizona, 02/2016.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers", SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"SAT-based Analysis of Large Real-world Feature Models is Easy", 19th International Software Product Line Conference (SPLC), Nashville, 2015.