AI Research Group

Seminars

Year

MIP Modelling Made Manageable

19 Jun 2019
Fable-based Learning: Seminar by Prof Jimmy Lee

21 Aug 2018
Seminar: SMT, Planning and Snowmen

06 Aug 2018
Seminar: AI-augmented algorithms — how I learned to stop worrying and love choice

25 Jul 2018
Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)

23 Jun 2017