Abstract FR:

Le travail presente dans ce memoire porte sur une integration d'algorithmes de recherche operationnelle dans l'environnement de la programmation logique par contraintes. L'origine est la necessite d'introduire des outils d'optimisation qui ont a la fois la puissance des methodes de la recherche operationnelle et la souplesse de la programmation logique par contraintes pour piloter differents scenarios dans l'optimisation de reseaux. Ce domaine etant tres vaste, nous proposons de limiter notre etude aux algorithmes de resolution des problemes qui se formalisent en termes de flot et de tension sur des graphes. Son objectif vise a decrire des algorithmes qui sont capables de traiter les contraintes de flot et de tension de facon incrementale d'une part, et adaptes a la technique de retour-arriere de la propagation de contraintes d'autre part. Le principe de la methode consiste a: ? decomposer le probleme global en une suite de sous-problemes de maniere incrementale par contraintes ; ? resoudre les sous-problemes par un algorithme base sur une variante de la methode du simplexe en variables bornees avec des techniques de traitement des graphes: ? integrer la resolution precedente dans le mecanisme de retour-arriere en introduisant une methode de deduction systematique des contextes. Une application de ces algorithmes est etudiee sur des problemes d'admissibilite dans les reseaux et d'ordonnancement