Seminars
MIP Modelling Made Manageable - 19th June 2019
Fable-based Learning: Seminar by Prof Jimmy Lee - 21st August 2018
Seminar: SMT, Planning and Snowmen - 6th August 2018
Seminar: AI-augmented algorithms — how I learned to stop worrying and love choice - 25th July 2018
Seminar: Propagation and Reification: SAT and SMT in Prolog (continued) - 23rd June 2017