Contribution à la résolution des problèmes de satisfaction de contraintes discrets

par Mohamed Tounsi

Thèse de doctorat en Informatique

Sous la direction de Patrice Boizumault et de Philippe David.

Soutenue en 2002

à Nantes .


  • Résumé

    L'objectif de notre travail consiste en l'amélioration des techniques de résolution de problèmes d'optimisation sous contraintes. Il existe trois approches pour résoudre de tels problèmes : les méthodes complètes, les méthodes de recherche locale et enfin les méthodes hybrides entre ces deux dernières. Bien que ces trois approches aient montré leur efficacité dans plusieurs domaines, de sérieux inconvénients apparaissent lors de la résolution des problèmes d'optimisation. En l'occurence, le temps d'exécution des méthodes complètes est souvent beaucoup trop important pour des instances de grande taille et les méthodes de recherche locale nécessitent un paramétrage précis de différents paramètres utilisés pour réaliser la diversification de la recherche. Par conséquent, nous nous sommes intéressés à la mise au point de nouvelles approches permettant d'augmenter l'efficacité des algorithmes en terme de qualité de solution et de temps d'exécution. . .


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 142 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 117-132

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Non disponible pour le PEB
  • Cote : 02 NANT 2056
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 02 NANT 2056
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 02 NANT 2056
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 02 NANT 2056
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.