Literature Review Seminar
Date:
This is my first presentation as a PhD research student, given in month 3 of the programme. The presentation introduced the field of constraint programming, the idea of encoding to Boolean SAT and how some of the choices involved in the process could be made using machine learning.
You can view the slides live, with thanks to the amazing Sozi Project. Here is the accompanying script for the presentation and the toy problem given out at the start.