|
Quebec Optimization and Satisfaction Strategies Exploiting Constraint Algorithms |
Parallélisme en programmation par contraintes
Le calcul parallèle offre des occasions propres à la programmation par contraintes, découlant surtout de la représentation explicite des principales structures combinatoires d'un problème dans le modèle de PPC. L`exploitation de telles structures, par le biais d'algorithmes de dénombrement de solutions, permet par exemple de mieux évaluer la densité de solutions dans différentes parties de l'arbre de recherche et ainsi de mieux réussir l'équilibrage de charge lors d'une exploration en parallèle de cet arbre. Également, les algorithmes de filtrage encapsulés dans ces structures combinatoires sont parfois coûteux en temps de calcul et une parallélisation de ceux-ci permet de réduire le temps de traitement des noeuds de l`arbre. Membre(s) travaillant sur le projet :| Gilles Pesant || Simon Boivin || Bernard Gendron || Adrien Mayer |
Publication(s) liée(s) au projet
Procédure d'équilibrage de charge pour la résolution parallèle par programmation par contraintes (2008)
Fichier(s) lié(s) à la publication
|