Filtrage par les coûts réduits de contraintes globales dans le cadre de la programmation par contraintes

par Guillaume Claus

Projet de thèse en GI : Génie Industriel : conception et production

Sous la direction de Bernard Penz.

Thèses en préparation à l'Université Grenoble Alpes , dans le cadre de École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production , en partenariat avec Laboratoire des Sciences pour la Conception, l'Optimisation et la Production de Grenoble (laboratoire) et de Recherche Opérationnelle pour les Systèmes de Production (ROSP) (equipe de recherche) depuis le 01-01-2020 .


  • Résumé

    Dans le cadre de la programmation par contrainte, nous nous intéressons à la classe des contraintes globales pour lesquelles on dispose d'une formulation idéale en programmation linéaire en nombres entiers. Nous voulons travailler sur un algorithme générique de filtrage des valeurs non cohérentes (c'est à dire n'appartenant à aucune solution de la contrainte) à partir des coûts réduits associés à une solution duale du programme linéaire. Cet algorithme devra réaliser un filtrage complet et permettra d'être interrompu à tout moment afin d'obtenir un filtrage incomplet mais rapide.

  • Titre traduit

    Reduced costs filtering for global constraints in constraints programmimg


  • Résumé

    As part of constraint programming, we deal with the class of global constraints for which an ideal integer linear programming formulation is known. We are looking for a generic algorithm for filtering the inconsistent values (i.e. values that don't belong to any solution for this constraint) based on the reduced costs associated with a dual solution of the linear program. Our program should be able reach the complete filtering and could be stopped any time for producing a partial but quick filtering.