MSE3315C --- Introduction à la Programmation par Contraintes

Master Ingénierie Mathématique, Statistique et Économique

Septembre 2011 - Janvier 2012

Nouvelles

30/I	L'évaluation des projets est en ligne
19/XII	Les solutions pour les exercices qui ne sont pas été vus en TDs sont en ligne
12/XII	L'attribution des projets et en ligne
9/XII	Le dernier TP est avancé à 13 Decembre (8 à 10 heures, CREMI salle 201)
30/XI	Enoncés des projets sont mises en ligne
26/XI	Nouvelle section "TPs"
21/X	Le cours du 7 Novembre est reporté à une date ultérieure
16/IX	Première version de la page

Enseignant

Ruslan Sadykov: Ruslan [.] Sadykov [@] inria [.] fr

Horaires

19/IX	Cours 1	Bât. A7, salle 001
26/IX	Cours 2	Bât. A7, salle 001
3/X	TD 1	Bât. A7, salle 001
10/X	Cours 3	Bât. A7, salle 001
17/IX	Cours 4	Bât. A7, salle 001
24/IX	TD 2	Bât. A7, salle 001
7/XI	Pas de cours
14/XI	Cours 5	CREMI, salle 201
21/XI	TP 1	CREMI, salle 201
28/XI	TP 2	CREMI, salle 201
5/XII	TP 3	CREMI, salle 201
12/XII	TP 4	CREMI, salle 201
13/XII	TP 5	CREMI, salle 201

Évaluation

50% Projet + 50% Examen

Plan du cours

Avant chaque cours, ces diapositives vont être publiées ici.

Cours 1. Problèmes de Satisfaction des Contraintes (CSPs), exemples de modélisation des CSPs. Diapositives : pour l'écran, à imprimer
Cours 2. Consistance locale. Diapositives : pour l'écran, à imprimer
Cours 3. Algorithmes de résolution des CSPs. Diapositives : pour l'écran, à imprimer
Cours 4. Contraintes globales. Diapositives : pour l'écran, à imprimer
Cours 5. Modélisation des problèmes réels comme des CSPs. Diapositives : pour l'écran, à imprimer
Cours 6. Logiciels pour résoudre les CSPs (solveurs PPC). Diapositives : pour l'écran, à imprimer.
Exemple OPL.
OPL Masterclass
IBM ILOG CPLEX Optimization Studio (trial version)

TDs

TD 1. (3 Octobre)
TD 2. (24 Octobre)
Les solution aux exercices non-traités en TDs

TPs

Solution au problème SteelMill

Projets

Le travail sur les projets se passe en groupes de 1-2 personnes. Ces groupes sont établis par les étudiants de leurs-même.
Chaque projet consiste en trois étapes:

la conception d'un modèle PPC pour un problème combinatoire choisi,
l'implémentation de ce modèle à l'aide d'une logiciel PPC de votre choix,
les testes du modèle sur des instances du problème.

Enoncés des projets (les problèmes à choisir) sont disponible si-dessous. Les étudiants peuvent proposer leur propre problème.
Attribution des projets se passe après la publication des énoncés selon le principe "premier venu premier servi". Chaque projet est attribué à au plus deux groupes qui l'ont choisi les premiers.

Attribution de projets:

Projet 1. Eternity. S. Ghazouane et M. Rouire [reçu]

Projet 2. Affectation d’équipage. F. Azamoum

Projet 3. Répétition d’un orchestre. -

Projet 4. Mariage stable. -

Projet 5. Ordonnancement de réparations A. Dubois et B. Anis [reçu]
M. Lucien [reçu]

Projet 6. Ordonnancement des trains D. Atmani et N. Laine [reçu]
M. Degos et R. Lemounneau [reçu]

Projet 1. Eternity.	S. Ghazouane et M. Rouire [reçu]
Projet 2. Affectation d’équipage.	F. Azamoum
Projet 3. Répétition d’un orchestre.	-
Projet 4. Mariage stable.	-
Projet 5. Ordonnancement de réparations	A. Dubois et B. Anis [reçu] M. Lucien [reçu]
Projet 6. Ordonnancement des trains	D. Atmani et N. Laine [reçu] M. Degos et R. Lemounneau [reçu]