Thursday, March 31, 2016 9:00 am
-
9:00 am
EDT (GMT -04:00)
Candidate
Jia Hui Liang
Topic
Combining Machine Learning with Deduction for SAT Solvers
Supervisors
Krzysztof Czarnecki and Vijay Ganesh
Background subjects
- SAT Solving
- Constraint Solving
- Branching Heuristic
- Machine Learning