Toggle navigation
Home
People
Research
Publications
Seminars
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