FICHE MODULE SI5 / M2 ISI

TITRE : Programmation par contraintes 2

DUREE  : 8 semaines (évaluation comprise)

RESPONSABLE  : M. Rueher
QUALITE/CV : M. Rueher est Professeur à Polytech'Nice. Il est le responsable de l'équipe "contraintes et preuves" du laboratoire I3S. 

AUTRES INTERVENANTS ACADEMIQUES (Nom / Etablissement) :
AUTRES INTERVENANTS EN ENTREPRISE (Nom / Entreprise) :

RESUME (5 lignes) :

OBJECTIFS : Compréhension approfondie du paradigme de programmation par contraintes et sensibilisation aux différents problèmes de recherche

CONTENU : 

  1. Programmation par contraintes: origines et motivations ; arithmétique en programmation en logique ; résolution de problèmes combinatoires.
  2. Contraintes sur les domaines discrets :
    1. Exemples, modélisation, les principaux algorithmes et heuristiques de résolution ; 
    2. Les contraintes "globales" disjonction constructive, contrainte de cardinalité, contrainte cumulative; 
    3. Problèmes d'optimisation sous contraintes : algorithmes complets, algorithmes incomplets.
  3. Les contraintes sur les domaines continus :
    1. Problèmes spécifiques aux domaines continus et applications;
    2. Arithmétique des intervalles; algorithmes de filtrage.
  4. Applications & modélisation et résolution de problèmes à l'aide de la programmation par contraintes: 
    1. intérêt de la programmation par contraintes pour modéliser et résoudre des problèmes complexes issus de problèmes réels; 
    2. présentation de l'atelier ILOG Solver ; Exemples et problèmes liés à la modélisation et à la résolution.

PREREQUIS : Programmation par contraintes 1

BIBLIOGRAPHIE :

  1. Constraint Processing, Rina Dechter, Morgan Kaufmann, Hardcover, Published May 2003
  2. Principles of Constraint Programming, Krzysztof Apt, Centrum voor Wiskunde en Informatica, Amsterdam, 2003
  3. Essentials of Constraint Programming, Thom Frühwirth and Slim Abdennadher, Textbook, Springer Verlag, 2003.

SUPPORT de COURS :

 

Site Web du Cours

Polycopié du cours

Copie des transparents

Support de cours

 

              X

              X

 

MODE D’EVALUATION :

 

Présentation Orale

Ecrit en temps limtié

Livraison sur Site Web

Production Logicielle

 

 

 

Rédaction d’un mémoire

              X

 

 

Examen

 

 

 


AUTRES INFORMATIONS :

Si nous devions illustrer ces enseignements avec des visites d’entreprises locales, quelles seraient-elles ? : 

Pour les quatre parcours suivants, quel est, selon vous, l’intérêt de votre module ?

PARCOURS

Sans intérêt

Peu d’intérêt

Beaucoup d’intérêt

Indispensable

SSR : Système, Sécurité et Réseaux

 

       x

 

 

CID : Connaissance, Information, Décision

 

 

        x

 

IAM : Informatique Ambiante et Mobile

 

 

         x

 

VIM : Vision, Image et Multimédia

 

       x

 

 

Ambiant Computing, Grid Computing and Network Computing

 

 

         x

 

Business Management and Information technology

 

 

         x

 

Système d’information

 

 

         x

 

Intéraction homme-machines

 

 

          x

 

Les quatre premiers parcours correspondent à des spécialités habilitées, les quatres suivant correspondent à un affichage interne et à une possibilité de suivre cet ensemble de cours.