Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
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.