PhD comprehensive examination - Jia Hui Liang

Thursday, March 31, 2016 9:00 am - 9:00 am EDT (GMT -04:00)
Export this event to calendar
iCal

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