Des explications pour reconnaître et exploiter les structures cachées

摘要: L'identification de structures propres a un probleme est souvent une etape clef pour la conception d'heuristiques recherche comme comprehension complexite du probleme. De nombreuses approches en Recherche Operationnelle emploient des strategies relaxations ou decompositions lors que certaines idoines ont ete identifiees. L'etape suivante d'algorithmes resolution qui puisse integrer volee, pendant resolution, ce type d'information. Cet article propose d'utiliser solveur contraintes base d'explications collecter l'information pertinente sur les dynamiques et statiques inherentes au Par ailleurs, reconnaissance relations specifiques entre variables suggere l'adaptation dedies issus monde contexte programmation par contraintes. Une telle adaptation discutee dans le cadre decomposition Benders.