Informatique - Programmation par contraintes - Démarches de modélisation pour l'optimisation

Cet ouvrage est un véritable guide de bonnes pratiques en Programmation par contraintes (PPC). Il développe un ensemble de démarches permettant de proposer des modèles efficaces pour des problèmes d'optimisation complexes. 

Les outils et les raisonnements présentés dans le livre s’adressent à un vaste public, d’ingénieurs de chercheurs et d’étudiants.

Les exemples variés analysés sont essentiellement des problèmes d’optimisation de type ordonnancement / transport réalisés avec le solveur Choco. Sont présentées pour chacun une modélisation mathématique et une modélisation PPC. Les codes proposés, et disponibles en téléchargement, ont été réalisés en Java avec l'environnement NetBeans.

Philippe LACOMME, maître de conférences, est responsable d’une filière à l’Institut Supérieur d’Informatique, de Modélisation et de leurs Applications (ISIMA) de Clermont-Ferrand. Il est co-auteur de plusieurs ouvrages dans la collection Technosup.

Éric BOURREAU, enseignant-chercheur au LIRMM de Montpellier, mène des recherches en programmation par contraintes et en optimisation combinatoire.

Matthieu GONDRAN, doctorant diplômé de Polytech Clermont-Ferrand, travaille sur les problèmes d’ordonnancement et de tournées de véhicules.

Marina VINOT, ATER à l’ISIMA, développe des activités de recherche sur des problèmes d’optimisation intégrant ordonnancement et transport.