Informatique : programmation par contraintes : démarches de modélisation pour l'optimisation

Fiche technique

Format : Broché
Nb de pages : X-232 pages
Poids : 436 g
Dimensions : 18cm X 26cm
Date de parution :
ISBN : 978-2-340-03585-0
EAN : 9782340035850

Informatique

programmation par contraintes
démarches de modélisation pour l'optimisation

chez Ellipses

Collection(s) : Technosup

Paru le | Broché X-232 pages

Licence

31.00 Disponible - Expédié sous 7 jours ouvrés
Ajouter au panier

Quatrième de couverture

L'ouvrage : niveau C (Écoles 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.

Biographie

É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.

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 même collection.

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