EMN - Ecole des Mines de Nantes

La genèse de l’équipe Contraintes se situe dans les années 1990 lorsque la programmation par contraintes a pris son essor dans l’industrie par l’intermédiaire de sociétés telles que Ilog ou Cosytec. Après une première phase de croissance dans le milieu industriel, et depuis peu dans le monde académique (CWI, Brown, Melbourne, Montréal), un grand nombre d’équipes se sont accordées sur la convergence nécessaire avec la recherche opérationnelle. D’importants travaux dans ce sens ont eu lieu depuis la fin des années 90.

Bien que des résultats concrets aient été obtenus, cela a conduit de manière paradoxale à introduire un grand nombre de niches qui peuvent être difficilement exploitées par des non-spécialistes du domaine. Aujourd’hui, consciente de ces limites, l’équipe Contraintes fait le pari d’une approche intégrant de manière transparente les langages et les différentes techniques sous-jacentes de la programmation par contraintes. Il s’agit principalement de développer des techniques génériques permettant à la fois d’intégrer et d’unifier les différentes facettes et les nouvelles extensions de la programmation par contraintes.

Nous avons le souci de mettre en pratique la programmation par contraintes et de la faire évoluer par rapport à des applications concrètes motivées par des demandes industrielles et/ou académiques. Les trois thématiques principales d’ores et déjà concernées sont les contraintes géométriques, les problèmes basés sur les graphes et les problèmes dynamiques – planification de missions, gestion de raffineries. Cette activité se concrétise aussi bien au niveau régional en partenariat avec des entreprises locales (Projet RIAM SEISM avec la société Succubus à Nantes, Projet Régional dans le domaine de la logistique avec l’équipe SLP de l’IRCCyN), qu’au niveau national avec des grands groupes (Bouygues, Dassault, Peugeot, Sagem, Total), ou encore au niveau européen dans le cadre du projet NetWMS (STREP) dans le domaine de la gestion d’entrepôts.

Ces projets nous permettent d’enrichir la librairie de programmation par contraintes CHOCO (http://choco.mines-nantes.fr) que nous développons en partenariat avec Amadeus et Bouygues SA. CHOCO est le produit phare de l’équipe et bénéficie d’un ingénieur à temps plein pour sa maintenance et sa pérennisation.

Notre objectif est de nous projeter à plus long terme sur des systèmes de programmation par contraintes de nouvelle génération intégrant de manière transparente différents paradigmes de résolution (reformulation de modèles, apprentissage de contraintes, filtrage, explications, contraintes continues, méta-heuristiques, décomposition, planification, etc.). Nous travaillons ainsi sur des aspects algorithmiques, temporels et interface utilisateur. Nos principaux partenaires incluent : Amadeus, Bouygues SA, Dassault, Peugeot, SAGEM, Thalès, Total.