UP | HOME

Programmation par contraintes

Table des matières

Responsable

Arnaud Malapert.

Introduction

Ce cours s'étend sur 5 séances de l'U.E "résolution de problème" du Master Informatique. Il s'agit d'une introduction à la programmation par contraintes, principalement la modélisation. Les principes fondamentaux sont abordés en vue d'une meilleure exploitation de la technologie.
Lors des travaux pratiques, nous utiliserons la suite IBM Ilog optimization studio.

Organisation du cours

Le cours a lieu au semestre 1 en salle TD06.

Contrôle des connaissances

  • Contrôle terminal ou
  • Projet personnel

Contenu

  • Les transparents du cours sont disponibles ici et .
  • Les notes de cours sont disponibles ici et .

Le contenu des transparents et des notes de cours est identique.

Des annales sont disponibles pour 2013, 2014 et 2015.

Travaux pratiques

Getting Started

Vous trouverez en bas de cette page comment accéder à la documentation ainsi qu'un premier TP.

  1. Implémenter en OPL un modèle pour la séquence magique.
  2. Résoudre en OPL l'énigme alphanumérique : sqrt(ATOM) = A + TO + M.
  3. Résoudre en OPL l'énigme qui consiste à trouver un nombre \(n\) de 4 chiffres tel que les 4 derniers chiffres de \(n^2\) soient ceux du nombre original \(n\). Est-ce que la solution est unique ?

Ressources électroniques

Created: 2017-09-26 mar. 08:58