Download or read book Techniques de r solution bas es sur la Programmation Lin aire pour l Ordonnancement de Projet written by Jean Damay and published by . This book was released on 2005 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous considérons le problème d'ordonnancement de projet RCPSP. Il consiste à planifier l'exécution d'un ensemble d'activités, soumises à des contraintes de précédence et de ressources, et nous minimisons ici la durée du projet. Nous présentons une reformulation originale de ce problème, basée sur une relaxation linéaire, ou chaque variable est associée à un ensemble d'activités pouvant être exécutées simultanément. Cette relaxation est résolue par l'algorithme du Simplexe avec Génération de Colonnes, auquel nous adjoignons un test incrémental de réalisabilité de la solution en base. Un résultat théorique de connexité est également fourni. Nous proposons en outre des techniques de diversification dans l'espace de recherche. Ces méthodes traitent avec qualité le cas particulier préemptif. Une métode par Séparation/ Evaluation, basée sur cette même relaxation linéaire, est développée pour ce cas, fournissant toutes les solutions optimales des instances de référence à 30 activités

Download or read book M thodes hybrides de programmation par contraintes et programmation lin aire pour le probl me d ordonnancement de projet contrainte de ressources written by Sophie Demassey and published by . This book was released on 2003 with total page 139 pages. Available in PDF, EPUB and Kindle. Book excerpt: La version classique du problème d'ordonnancement de projet à contraintes de ressources (RCPSP) consiste à trouver un ordonnancement, de durée minimale, des activités d'un projet entrant en compétition sur l'usage de ressources renouvelables, cumulatives et disponibles en quantité limité. La réputation d'extrême difficulté du RCPSP a mené nombre de chercheurs à proposer de nouvelles méthodes de résolution toujours plus complexes pour ce problème. Nous nous intéressons à la résolution exacte du RCPSP par combinaison de techniques issues de la programmation par contraintes et de la programmation linéaire. De telles méthodes hybrides sont en effet de plus en plus prisées pour appréhender les problèmes combinatoires les plus difficiles.Après une étude des principales techniques d'hybridation de la littérature, nous nous attachons, dans un premier temps, au calcul de bornes inférieures pour le RCPSP par relaxation lagrangienne ainsi que par génération de coupes. Des techniques éprouvées de propagation de contraintes, dont la règle globale du shaving sont utilisées en prétraitement des programmes linéaires pour en accélerer la résolution et améliorer les bornes. De plus, les coupes linéaires proposées sont directement déduites des règles de propagation de contraintes.Nous proposons, dans un second temps, une méthode originale de résolution exacte pour le RCPSP, basée sur la procédure de resolution search de Chvatal. Nous montrons comment cette alternative aux méthodes arborescentes classiques pour les programmes linéaires en variables binaires s'identifie aux techniques de backtracking intelligent en programmation par contraintes. Nous prouvons son efficacité comparativement à une PSE équivalente en l'appliquant de manière basique à une formulation linéaire en variables binaires du RCPSP. Nous présentons enfin quelques améliorations possibles et étudions comment resolution search peut être adaptée à des règles de branchement plus spécifiques au RCPSP

Download or read book Nouvelles approches pour la r solution du probl me d ordonnancement de projet moyens limit s written by Oumar Koné and published by . This book was released on 2009 with total page 131 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans ce travail de thèse, nous avons étudié deux types de problèmes d'ordonnancement. La majeure partie concerne le problème d'ordonnancement de projet à moyens limités (RCPSP). Le problème d'ordonnancement des opérations de manutention dans un entrepôt de transbordement ("crossdocking") est également traité avec une moindre importance. Dans une première partie (la plus étendue), nous abordons le RCPSP. À partir de modélisations utilisant la programmation linéaire en nombres entiers, nous avons proposé deux nouvelles formulations de ce problème, utilisant des variables indicées par des événements. Dans l'une d'entre elles, on utilise une variable binaire pour marquer le début de l'exécution de chaque activité et une autre variable pour marquer sa fin. Dans la seconde proposition, une seule variable est utilisée. Elle identifie les événements après lesquels l'activité reste en cours ou débute son exécution. De façon générale, comparées à d'autres modèles de la littérature sur divers types d'instances, nos propositions affichent des résultats plus intéressants sur les instances contenant des activités aux durées disparates et associées à de longs horizons d'ordonnancement. En particulier, sur ces mêmes types d'instances mais hautement cumulatives (caractéristiques de base du RCPSP), elles sont également les plus performantes. Nous avons également abordé la résolution d'une extension du RCPSP consistant à prendre en compte des ressources particulières, qui peuvent être consommées en début d'exécution de chaque activité, mais aussi produites à leur fin : il s'agit du RCPSP avec consommation et production de ressources. Afin d'effectuer une comparaison expérimentale entre différents modèles, nous avons proposé une adaptation de nos formulations basées événements, des formulations à temps discret de Pritsker et de Christofides, et de la formulation à temps continu basée sur les flots (proposé par Artigues sur la base des travaux de Balas). Globalement, les résultats montrent que nos formulations basées événements obtiennent les meilleurs résultats sur bon nombre de types d'instances...

Download or read book Publications in Operations Research written by Operations Research Society of America and published by . This book was released on 1966 with total page 1148 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Programmation lin aire en nombres entiers pour l ordonnancement cyclique sous contraintes de ressources written by Maria Alejandra Ayala Perez and published by . This book was released on 2011 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un problème d'ordonnancement cyclique consiste à ordonner dans le temps l'exécution répétitive d'un ensemble d'opérations liées par des contraintes de précédence, en utilisant un nombre limité de ressources. Ces problèmes ont des applications immédiates dans les systèmes de production ou en informatique parallèle. Particulièrement, ils permettent de modéliser l'ensemble des contraintes de précédence et de ressource à prendre en compte pour l'ordonnancement d'instructions dans les processeurs de type VLIW (Very Long Instruction Word). Dans ce cas, une opération représente une instance d'une instruction dans un programme. L'ordonnancement d'instructions de boucles internes est connu sous le nom de pipeline logiciel. Le pipeline logiciel désigne une méthode efficace pour l'optimisation de boucles qui permet la réalisation en parallèle des opérations des différentes itérations de la boucle. Dans cette thèse, nous nous intéressons principalement au problème d'ordonnancement périodique qui est un cas particulier de l'ordonnancement cyclique et qui est également la base du pipeline logiciel. Le terme ordonnancement modulo désigne un ordonnancement périodique tel que l'allocation de ressources pour une opération donnée n'est pas modifiée d'une itération sur l'autre. Pour résoudre le problème, nous nous intéressons aux formulations de programmation linéaire en nombres entiers, et notamment à la résolution du problème par des techniques de séparation, évaluation, génération de colonnes, relaxation lagrangienne et des méthodes hybrides. En particulier, nous proposons des nouvelles formulations basées sur des variables binaires représentant l'exécution d'ensembles d'instructions en parallèle. Enfin, les méthodes développées ont été validées sur des jeux d'instances industrielles pour des processeurs de type VLIW.

Download or read book Proceedings written by and published by . This book was released on 1966 with total page 1148 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mod lisation et r solution de probl mes d ordonnancement au sein du solveur d optimisation math matique LocalSolver written by Léa Blaise and published by . This book was released on 2022 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Résoudre un problème d'ordonnancement consiste à organiser la réalisation de tâches au cours du temps : déterminer leur répartition sur les différentes ressources disponibles ainsi que leurs dates d'exécution. Le travail de cette thèse se concentre sur les problèmes d’ordonnancement de type disjonctif et/ou packing, avec ou sans flexibilité des ressources. L'ensemble des contributions algorithmiques de la thèse ont été implémentées au sein du solveur d'optimisation mathématique LocalSolver, dont les techniques de résolution combinent des méthodes exactes, telles que la programmation linéaire, non linéaire et par contraintes, et heuristiques, comme la recherche locale et des algorithmes constructifs.Le travail de cette thèse répond à deux problématiques principales, liées au traitement de ce type de problèmes d'ordonnancement par LocalSolver. Le premier objectif se dégageant de ces problématiques consiste à permettre aux utilisateurs du solveur de modéliser simplement un grand nombre de problèmes d'ordonnancement disjonctif. En tirant profit du formalisme de modélisation ensembliste de LocalSolver, on propose des formulations génériques, adaptables à différentes familles de problèmes d'ordonnancement, permettant d'exprimer simplement les notions de tâches, de relations de précédence, ou encore de non-chevauchement des tâches. Les formulations génériques choisies reposent sur l'utilisation combinée de variables entières, modélisant les dates de début et durées de tâches, et de variables de listes, représentant leur ordre sur les différentes ressources disjonctives.Le second objectif de la thèse consiste à améliorer les performances de LocalSolver sur les problèmes d'ordonnancement étudiés, en intégrant différents algorithmes de résolution les plus génériques possibles à la composante de recherche locale du solveur. Cette généricité des contributions est cruciale : on ne cherche pas à améliorer les performances du solveur sur un unique problème, ni même seulement sur les problèmes d'ordonnancement, mais sur tous les problèmes présentant des structures caractéristiques de l'ordonnancement disjonctif.Les contributions de cette thèse sont regroupées en trois catégories : des algorithmes d'initialisation, des mouvements de recherche locale, et un algorithme de propagation de contraintes. On présente deux algorithmes constructifs d'initialisation des variables ensemblistes, aidant le solveur à trouver une solution réalisable immédiatement sur des problèmes comme ceux de l'Aircraft Landing ou de l'Assembly Line Balancing, et accélérant ainsi la recherche de solutions de bonne qualité sur ces problèmes. On présente également des mouvements de recherche locale, reposant sur la détection de structures spécifiques dans le modèle (non-chevauchement des tâches, précédences...). On présente également un algorithme de réparation de solutions par propagation de contraintes, appelé au cours de la recherche locale après chaque mouvement conduisant à une solution infaisable. Notre algorithme diffère de la propagation classique de la programmation par contraintes par plusieurs points. Par exemple, il ne propage que les réductions de domaine excluant la valeur courante des variables, et peut prendre des décisions arbitraires lorsqu'il rencontre une contrainte pouvant être réparée de différentes manières. On démontre que dans certains cas l’algorithme présente des propriétés lui assurant de trouver une réparation s'il en existe une. Cet algorithme permet de pallier les difficultés rencontrées par la recherche locale sur les problèmes d'ordonnancement aux contraintes très serrées (passer d'une bonne solution à une autre nécessite de réaliser des changements sur un grand nombre de variables). L'intégration de ces mouvements et de cet algorithme de réparation au sein de la recherche locale de LocalSolver apporte des gains de performance importants sur divers problèmes (Job Shop et variantes, Unit Commitment, Assembly Line Balancing, Bin Packing).

Download or read book R solution de probl mes combinatoires dans l industrie written by Maria Lebbar and published by . This book was released on 2000 with total page 179 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'optimisation des ressources dans l'industrie conduit à résoudre des problèmes combinatoires complexes et de grande taille. L'objectif de notre travail est de proposer des solutions à des problèmes industriels réels. Pour cela, des algorithmes ont été développés dans le cadre de modèles exacts basés sur les techniques de la programmation linéaire en nombre entiers et la programmation linéaire généralisée. Des approches de décomposition temporelle ont été également étudiées. Nous avons eu l'occasion de traiter dans cette thèse quatre problèmes qui s'inscrivent dans le cadre de problèmes d'affectation de ressources et de planification : - un problème d'affectation de ressources avec contraintes de maintenance. C'est un problème NP-Difficile à cause notamment des contraintes de maintenance et de la propriété de substitution. Nous l'avons résolu avec la technique de génération de colonnes. - un problème de planification d'un système de télécommunication par satellites. Nous avons proposé un modèle exact pour ce problème nouveau. L'approche de résolution adoptée est basée sur une technique de génération de colonnes et de contraintes, associée à une heuristique de décomposition temporelle. - un problème de construction d'horaires de bus « Graphicage automatique », pour lequel nous proposons un modèle exact sous forme d'un programme linéaire en nombres entiers. La méthode de résolution choisie est basée sur une heuristique de décomposition temporelle associée au programme linéaire en nombres entiers. - un problème de planification de la fabrication de véhicules a moyen et court terme : problème de séquencement de voitures généralisé. Il s'agit d'une nouvelle définition du problème par rapport à celles des travaux relevés dans la littérature. Il a été décomposé en deux sous problèmes résolus respectivement par la programmation linéaire en nombres entiers et une heuristique d'optimisation locale.

Download or read book Planification et ordonnancement de projets sous contraintes de ressources complexes written by Pierre-Antoine Morin and published by . This book was released on 2018 with total page 121 pages. Available in PDF, EPUB and Kindle. Book excerpt: La structure de projet se retrouve dans de nombreux contextes de l'industrie et des services. Il s'agit de réaliser un ensemble d'activités pouvant être connectées par des liens logiques de séquence (antériorité), en faisant appel à des ressources disponibles en quantité limitée. L'objectif est la minimisation d'un critère généralement lié à la durée ou au coût du projet. La plupart des problèmes d'ordonnancement de projet dans la littérature considèrent une unité de temps commune pour la détermination des dates d'exécution des activités et pour l'évaluation instantanée du respect des capacités des ressources qu'elles utilisent. Or, s'il est souvent nécessaire en pratique d'obtenir un calendrier détaillé des plages d'exécution des activités, l'utilisation des ressources peut être évaluée sur un horizon plus agrégé, comme par exemple les quarts de travail des employés. Dans cette thèse, un nouveau modèle intégrant ces deux échelles de temps est présenté afin de définir le problème d'ordonnancement de projet avec agrégation périodique des contraintes de ressources (PARCPSP). Ce problème est étudié du point de vue de la théorie de la complexité et des propriétés structurelles sont établies, mettant notamment en évidence des différences majeures avec le problème classique d'ordonnancement de projet sous contraintes de ressources (RCPSP). De ces propriétés sont dérivées des formulations exactes basées sur la programmation linéaire en nombres entiers, comparées en termes de qualité de la relaxation linéaire. Par ailleurs, plusieurs heuristiques, telles que des algorithmes de liste, ou une méthode approchée basée sur une résolution itérative qui exploite différentes échelles de temps, sont proposées. Les résultats expérimentaux montrent l'intérêt de ces différentes méthodes et illustrent la difficulté du problème.

Download or read book Probl me D Ordonnancement de Projet Moyens Limit s written by Oumar Koné and published by Omniscriptum. This book was released on 2010-09 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous avons étudié deux types de problèmes. La majeure partie concerne le problème d'ordonnancement de projet à moyens limités (RCPSP). Le problème d'ordonnancement des opérations de manutention dans un entrepôt de transbordement ("crossdocking") est également traité avec une moindre importance. Dans une première partie (la plus étendue), nous concernant le RCPSP, à partir de modélisations utilisant la programmation linéaire en nombres entiers, nous avons proposé deux nouvelles formulations de ce problème, utilisant des variables indicées par des événements. Nous abordons également la résolution du "RCPSP avec consommation et production de ressources," en proposant une adaptation de nos formulations basées événements, des formulations à temps discret de Pritsker et de Christofides, et de la formulation à temps continu basée sur les flots (proposé par Artigues sur la base des travaux de Balas). Globalement, les résultats montrent que propositions obtiennent les meilleurs résultats sur bon nombre de types d'instances, en particulier sur celles avec des activités aux durées disparates, associées à de longs horizons d'ordonnancement et hautement.

Download or read book Ordonnancement sous contraintes d nergie written by Margaux Nattaf and published by . This book was released on 2016 with total page 197 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les problèmes d'ordonnancement à contraintes de ressource ont été largement étudiés dans la littérature. Cependant, dans la plupart des cas, il est supposé que les activités ont une durée fixe et nécessitent une quantité constante de la ressource durant toute leur exécution. Dans cette thèse, nous nous proposons de traiter un problème d'ordonnancement dans lequel les tâches ont une durée et un profil de consommation de ressource variables. Ce profil, qui peut varier en fonction du temps, est une variable de décision du problème dont dépend la durée de la tâche associée. Par ailleurs, la considération de fonctions de rendement linéaires et non linéaires pour la représentation de l'utilisa- tion des ressources complexifie le problème et permet de modéliser de manière réaliste les transferts de ressources énergétiques. Pour ce problème NP-complet, nous présentons plusieurs propriétés per- mettant de dériver des modèles et méthodes de résolution. Ces méthodes de résolution sont divisées en deux parties. La première partie visualise ce problème du point de vue de la Programmation Par Contraintes et plusieurs méthodes dérivées de ce paradigme sont détaillées dont le développement du raisonnement énergétique sur le problème étudié. La seconde partie de la thèse est dédiée à des approches de Programmation Linéaire Mixte et plusieurs modèles, notamment un modèle à temps continu basé sur les événements, ainsi que des analyses théoriques et des techniques d'amélioration de ces modèles sont présentés. Enfin, des expérimentations viennent appuyer les résultats présentés dans ce manuscrit.

Download or read book Algorithmes et pratique de programmation lin aire written by Philippe Chrétienne and published by . This book was released on 1980 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book hybridation de m thodes int rieures et de m taheuristiques pour la programmation lin aire en nombres entiers written by Agnès Plateau and published by . This book was released on 2000 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: A l'origine destinées à la résolution de programmes linéaires continus, les méthodes intérieures ont trouve un champ d'applications beaucoup plus large incluant aussi bien les programmes quadratiques que les problèmes d'optimisation en nombres entiers et plus récemment encore, les problèmes de programmation semi-définie. les méthodes intérieures représentent une bonne alternative à la méthode du simplexe, particulièrement pour des problèmes de grande taille dont la matrice des contraintes possède une structure appropriée. Par conséquent, plusieurs méthodes de type branch-and-bound utilisant des techniques de points intérieurs ont été développes pour la programmation entière depuis une dizaine d'années. Cette thèse est consacrée a l'élaboration d'une méthode hybride performante pour la résolution approchée de programmes linéaires en nombres entiers, reposant sur une combinaison originale d'un algorithme de points intérieurs et d'ajout de coupes avec une métaheuristique. Elle débute par une recherche arborescente qui met en jeu une méthode intérieure et deux types de coupes (économiques et valides), engendrant un ensemble diversifie de solutions entières réalisables. Ces solutions permettent de construire la population initiale d'une métaheuristique de type recomposition de chemins (path relinking), qui est une méthode de combinaison de couples de solutions. Ce concept de combinaison permet d'élargir le champ d'exploration du domaine des solutions en travaillant sur la base non pas d'une solution unique mais d'une population de solutions. Notre méthode est validée par des expériences numériques effectuées sur des instances de programmes linéaires en variables 0-1 (sac à dos multidimensionnel, problème général d'affectation

Download or read book Hybridation de m thodes int rieures et de m taheuristiques pour la programmation lin aire en nombres entiers written by Agnès Plateau and published by . This book was released on 2019 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: À l'origine destinées à la résolution de programmes linéaires continus, les méthodes intérieures ont trouvé un champ d'applications beaucoup plus large incluant aussi bien les programmes quadratiques que les problèmes d'optimisation en nombres entiers et plus récemment encore, les problèmes de programmation semi-définie. Les méthodes intérieures représentent une bonne alternative à la méthode du simplexe, particulièrement pour des problèmes de grande taille dont la matrice des contraintes possède une structure appropriée. Par conséquent, plusieurs méthodes de type branch-and-bound utilisant des techniques de points intérieurs ont été développées pour la programmation entière depuis une dizaine d'années. Cette thèse est consacrée a l'élaboration d'une méthode hybride performante pour la résolution approchée de programmes linéaires en nombres entiers, reposant sur une combinaison originale d'un algorithme de points intérieurs et d'ajout de coupes avec une métaheuristique. Elle débute par une recherche arborescente qui met en jeu une méthode intérieure et deux types de coupes (économiques et valides), engendrant un ensemble diversifié de solutions entières réalisables. Ces solutions permettent de construire la population initiale d'une métaheuristique de type recomposition de chemins (path relinking), qui est une méthode de combinaison de couples de solutions. Ce concept de combinaison permet d'élargir le champ d'exploration du domaine des solutions en travaillant sur la base non pas d'une solution unique mais d'une population de solutions. Notre méthode est validée par des expériences numériques effectuées sur des instances de programmes linéaires en variables 0-1 (sac à dos multidimensionnel, problème général d'affectation).

Download or read book Analyse des m thodes des points int rieurs pour les probl mes de compl mentarit lin aire et la programmation quadratique convexe written by Abderrahim Kadiri and published by . This book was released on 2001 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse porte sur une étude théorique et pratique des méthodes de points intérieurs pour les problèmes de complémentarité linéaire (LCP) et la programmation linéaire convexe (PQC). Le premier chapitre est un survol de quelques méthodes classiques pour la résolution d'un (PQC). Dans le deuxième chapitre, elle présente les notions de base nécessaires pour les méthodes de trajectoire centrale. Ensuite, elle donne une description d'un algorithme de trajectoire centrale pour résoudre un (PQC). Le troisième est consacré aux méthodes de points intérieurs pour le (LCP). Il contient un exposé de quelques algorithmes principaux avec leurs propriétés de convergence et complexité. Les procédures de purification sont étudiées au chapitre 4. Nous proposons une nouvelle procédure pour le (LCP) et le (PQC) qui permet de mener à une solution exacte et de réduire le temps global de calcul. Des aspects pratiques et des résultats numériques sont présentés dans le dernier chapitre.

Download or read book Techniques d ordonnancement d atelier et de fourn es bas es sur la programmation par contraintes written by Arnaud Malapert and published by . This book was released on 2011 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: Résoudre un problème d’ordonnancement consiste à organiser un ensemble de tâches, c’est-à-dire déterminer leurs dates de début et de fin et leur attribuer des ressources en respectant certaines contraintes. Dans cette thèse, nous proposons de nouvelles approches exactes basées sur la programmation par contraintes pour deux classes de problèmes d’ordonnancement P-difficiles validées expérimentalement par l’implémentation d’un ensemble de nouvelles fonctionnalités dans le solveur de contraintes choco. Dans un problème d’atelier, n lots sont constitués chacun de m tâches à exécuter sur m machines distinctes. Chaque machine ne peut exécuter qu’une tâche à la fois. La nature des contraintes liant les tâches d’un même lot peut varier (séquencement global ou par lot, pas de séquencement). Le critère d’optimalité étudié est la minimisation du délai total. Nous proposons d’abord une étude et une classification des différents modèles et algorithmes de résolution. Ensuite, nous introduisons une nouvelle approche flexible pour ces problèmes classiques. Une machine à traitement par fournées peut traiter plusieurs tâches en une seule opération, une fournée. Les dates de début et de fin des tâches d’une même fournée sont identiques. Le problème étudié consiste à minimiser le retard algébrique maximal de n tâches de différentes tailles sur une machine de capacité b. Conjointement, la somme des tailles des tâches d’une fournée ne doit pas excéder la capacité b. Nous proposons, dans ce contexte, un modèle basé sur une décomposition du problème. Nous définissons ensuite une nouvelle contrainte pour l’optimisation basée sur une relaxation du problème qui améliore sa résolution.

Download or read book Etude de Resolution Search pour la Programmation Lin aire en Variables Binaires written by Sylvain Boussier and published by . This book was released on 2008 with total page 124 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cette thèse, nous nous intéressons à la résolution exacte de programmes linéaires en variables binaires. L'ensemble de nos travaux s'articule autour de l'étude de Resolution search (Chvatal (1997)) pour la résolution du problème du sac à dos multidimensionnel en 0-1. Dans un premier temps, nous proposons un algorithme d'énumération implicite centré sur une analyse des coûts réduits à l'optimum de la relaxation continue ainsi que sur une décomposition de l'espace de recherche en hyperplans. Nous proposons une stratégie de branchement originale visant à élaguer au plus tôt l'arbre de recherche. Cette stratégie est efficace pour résoudre des instances jugées difficiles mais rend l'algorithme dépendant de la connaissance d'une bonne solution de départ. Dans un deuxième temps, nous proposons une méthode de résolution plus autonome combinant Resolution search avec une énumération implicite inspirée du premier algorithme. Cette coopération permet d'obtenir rapidement de bonnes solutions et prouve les optimums d'instances de plus grande taille. Finalement, nous montrons que le champ d'application de Resolution search peut être étendu à des problèmes d'optimisation combinatoire non linéaire et présentons une application à la résolution d'un problème de planification dans le domaine des télécommunications