Constraint Programming (4TOD806 --- Ouitls logiciels pour l'optimisation)

Master Mathématiques appliquées et statistique

January -- April 2022

News

31/III	The exam (TD noté) time is changed to the 7th of April from 14h00 to 16h00 (bâtiment A29 amphi B). The deadline for submitting the project report remains the 20th of April.
3/III	Project assignement is online. Please choose your project (see e-mail below) if your name does not appear.
3/III	The exam (TD noté) will take place on the 21st of April from 8h30 to 10h30. The deadline for submitting the project report is set the 20th of April.
16/II	Description of projects is online
5/I	First version of the page

Teacher

Ruslan Sadykov: Ruslan [.] Sadykov [@] inria [.] fr (Please use inria.fr address and not u-bordeaux.fr one!)

Schedule

6/I, 8h00 -- 10h40	Lecture 1 + TD 1	Building A21, salle 304
13/I, 8h00 -- 10h40	Lecture 2 + TD 2	Building A21, salle 304
20/I, 8h00 -- 10h40	Lecture 3 + TD 3	Building A21, salle 304
27/I, 8h00 -- 10h40	Lecture 4 + TD 4	Building A21, salle 304
3/II, 8h00 -- 10h40	Lecture 5 + TD 5	Building A21, salle 304
10/II, 8h00 -- 10h40	Computer lab 1	Builing A28 (CREMI), salle 203
17/II, 8h00 -- 10h40	Computer lab 2	Builing A28 (CREMI), salle 203
3/III, 8h00 -- 10h40	Computer lab 3	Builing A28 (CREMI), salle 203
10/III, 8h00 -- 10h40	Computer lab 4	Builing A28 (CREMI), salle 203

Evaluation

50% for the project + 50% for the exam (TD notés)

Course materials

Before each lecture, the slides will be published here

Lecture 1. Constraint satisfaction problems (CSPs), modelling examples. Slides : for the screen, to print.
Lecture 2. Local consistency. Slides : for the screen, to print.
Lecture 3. Global constraints. Solving CSPs. Slides : for the screen, to print.
Lecture 4. Solving CSPs using Lazy Clause Generation. Slides : for the screen, to print.
Lecture 5. Symmetry. Real-life problems modelling. Slides : for the screen, to print.

Exercice sessions

TD 1. (6 January)
TD 2. (13 January)
TD 3. (20 January)
TD 4. (27 January)
TD 5. (3 February)
Solutions to some exercices (partly in French)

Labs

TP 1. Introduction to OPL.
Slides
OPL example (frequency assignment).
Lab (still mill inventory matching problem). Description (PDF).
Solution step 1. Model file for step 2. Solution step 2. Model file for step 3. Solution step 3. Model file for step 4. Solution step 4.
TP 2. Scheduling with OPL.
Slides : for the screen, to print.
Lab (House building problem). Description (PDF). Solution.
Optional Lab (Wood cutting problem). Description (PDF). Solution.
Optional Lab (Staff scheduling problem). Description (PDF). Workbook (PDF). Solution.

Projects

Description of projects

Project assignment:

Project 1. Eternity. Alan Ferrara
Grégory Pauvreau

Project 2. Aircrew assignment. Baptiste Brault and Mohamed Anas Nefzaoui

Project 3. Orchestra rehearsal. Chloe Guimberteau and Lucas Villenave
Scalarius Aizannon Keouda and Kevin Ratrimoarison

Project 4. Stable marriage problem. Marin Debouté and Lin Hirwa Shema
Vérane Salphati

Project 5. Repair shop scheduling Paul Archipczuk and Kevin Bonhomme

Project 6. Engine plant scheduling -

Project 7. Train scheduling Mamadou Diallo and Patxi Flambard
Basile Blayac and Pierre Pinet

Project 8. Traveling Tournament Cyprien Boyer and Maher Saleh

Project 1. Eternity.	Alan Ferrara Grégory Pauvreau
Project 2. Aircrew assignment.	Baptiste Brault and Mohamed Anas Nefzaoui
Project 3. Orchestra rehearsal.	Chloe Guimberteau and Lucas Villenave Scalarius Aizannon Keouda and Kevin Ratrimoarison
Project 4. Stable marriage problem.	Marin Debouté and Lin Hirwa Shema Vérane Salphati
Project 5. Repair shop scheduling	Paul Archipczuk and Kevin Bonhomme
Project 6. Engine plant scheduling	-
Project 7. Train scheduling	Mamadou Diallo and Patxi Flambard Basile Blayac and Pierre Pinet
Project 8. Traveling Tournament	Cyprien Boyer and Maher Saleh