HomeAboutLecturesProblem ClassesAssessmentResources

Outline Syllabus

Intro to Choco

Modelling

... and more modelling

Search

Propagation

Global Constraints

Search Heuristics

Problem Complexity

Local Search

Current Research in Constraint Programming

Lectures

16/01/2018 1 Introduction  
19/01/2018 2 Introduction to Choco L02 Code
23/01/2018 3 Modeling I L03 Code
25/01/2018 4 Modeling II - Magic Square L04 Code
30/01/2018 5 Modeling III - Truck Loading L05 Code
01/02/2018 6 Modeling IV - Bin Packing L06 Code
06/02/2018 7 Modeling V - Scheduling L07 Code
08/02/2018 8 Modeling VI - Cumulative Scheduling L08 Code
13/02/2018 9 Modeling with global constraints L09 Code
15/02/2018 10 Symmetry L10 Code
20/02/2018 11 Inference  
22/02/2018 12 Search - Looking Back: BT, CBJ  
27/02/2018 13 Search - Looking Forward: FC, MAC  
02/03/2018   Lecture cancelled - snow
06/03/2018 14 Maintaining the Alldifferent constraint  
08/03/2018 15 Search Heuristics I: variable ordering  
13/03/2018 16 Search heuristics II: value ordering  
15/03/2018 17 Complexity and Heuristics  
20/03/2018 18 Local Search  
22/03/2018 19 Large Neighbourhood Search  
10/04/2018 20 Set Variables L20 Code
12/04/2018 21 Revision and Sample paper: Q1,2  
17/04/2018   no lecture  
19/04/2018   no lecture: project submission day