Modélisation par contraintes et exploitation d'une gamme automobile : nouveaux problèmes, nouvelles requêtes, nouveaux besoins en programmation par contraintes

National audienceLa mise au point et l'exploitation de la gamme commerciale d'un constructeur automobile présentent de multiples problèmes métier qui peuvent se modéliser comme des problèmes CSP : détection et analyse d'incohérence dans la spécification de la gamme, configuration véhicule, configuration de la prévision. Ces problèmes mettent en jeu des données de taille importante, et leur résolution en situation réelle doit être effectuée dans un temps de calcul limité. Cet article présente, formalise et étudie la complexité de plusieurs de ces problèmes. Au-delà de l'étude d'une application réelle, son objectif est de proposer à la communauté CSP non pas de nouvelles approches de résolution, mais de nouvelles requêtes, de nouveaux problèmes, voire de nouveaux besoins