Informatique : de la programmation linéaire à la programmation par contraintes

L'ouvrage : niveau C (Master - Ecoles d'ingénieurs)

Cet ouvrage propose une découverte pragmatique de la programmation par contraintes (PPC), sans en aborder la partie théorique. Il constitue un guide permettant aux ingénieurs, chercheurs et étudiants formés en programmation linéaire de se familiariser avec la PPC.

La programmation linéaire, très répandue dans toutes les formations d'ingénieurs, permet de résoudre des problèmes concrets de grande taille. Quant à la PPC, elle offre une alternative pour laquelle il n'est plus nécessaire d'avoir préalablement une formalisation linéaire du problème. En lieu et place des outils classiques de la programmation linéaire, elle utilise des solveurs PPC.

Les exemples du livre sont essentiellement des problèmes d'optimisation de type ordonnancement/ transport. Ils sont résolus avec Choco (solveur de PPC français) et CPLEX. Les codes informatiques sont proposés en Java pour les exemples traités en Choco ou avec Gusek. Ils sont proposés en C++ pour les exemples traités avec CPLEX. Les développements en C++ sont effectués avec Visual Studio et ceux en Java avec NetBeams.