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

Quel est le sujet du livre "Programmation par contraintes"

L'ouvrage : niveau C (Ecoles d'ingénieurs, Masters). 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. La PPC est une alternative à la programmation linéaire. Elle offre la possibilité d'agir sur la manière dont le solveur recherche une solution. Elle permet de concevoir des modèles tirant profit des spécificités du problème et des points forts des solveurs PPC. 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. Ce livre complète l'ouvrage des mêmes auteurs paru en 2019 De la programmation linéaire à la programmation par contraintes qui proposait une approche pragmatique de la PPC.

Auteur Auteur Auteur Auteur Eric 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. 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. Marina VINOT, ATER à l'ISIMA, développe des activités de recherche sur des problèmes d'optimisation intégrant ordonnancement et transport.