Reseaux de contraintes : satisfaction et optimisation

par MOHAMED-SALAH AFFANE

Thèse de doctorat en Sciences appliquées

Sous la direction de HACHEMI BENNACEUR.

Soutenue en 1999

à Paris 13 .

    mots clés mots clés


  • Résumé

    L'objectif de cette these est de proposer des algorithmes permettant d'ameliorer l'efficacite des methodes de recherche completes pour les problemes de satisfaction de contraintes (csp), d'etablir des liens entre l'optimisation combinatoire et le formalisme csp, et d'exploiter ces liens pour la resolution du probleme de satisfaction de contraintes maximal (max-csp). Dans un premier temps, nous presentons les differentes techniques utilisees pour la resolution des csp. Ensuite, nous exploitons la semantique des contraintes bijectives et fonctionnelles afin d'ameliorer les performances des algorithmes de filtrage contenant ce type de contraintes. En effet, nous proposons un algorithme generique, arc label consistance (lac), pour le filtrage et la decomposition des csp contenant des contraintes bijectives et fonctionnelles. La deuxieme partie de cette these est consacree a l'aspect optimisation. Dans un premier temps, nous presentons une formulation du max-csp par un probleme d'affectation quadratique (qap). Ensuite, nous exploitons ce lien pour proposer une nouvelle borne inferieure parametree pour le max-csp. Les differents algorithmes proposes sont valides experimentalement.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 146 P.
  • Annexes : 138 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TH 1999 002
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.