Contributions à la résolution générique des problèmes de satisfaction de contraintes

par Julien Vion

Thèse de doctorat en Informatique

Sous la direction de Lakhdar Saïs.

Soutenue en 2007

à l'Artois .

  • Titre traduit

    Contributions to generic solving of constraint propagation problems


  • Pas de résumé disponible.


  • Résumé

    Nous proposons plusieurs techniques pour résoudre en pratique le problème NP-complet de satisfaction de contraintes de manière générique. Nous distinguons deux grands axes de techniques de résolution de CSP : l'inférence et la recherche. Nous avons contribué à l'amélioration des techniques d'inférence en nous concentrant sur la consistance d'arc : optimisations des algorithmes, comportement de plusieurs algorithmes d'inférence aux bornes de domaines discrets, et enfin une alternative intéressante à la consistance de chemin (PC) : la consistance duale. Cette propriété nous a amenés à concevoir des algorithmes de PC forte très efficaces. La variante conservative de cette consistance est de plus plus forte que la PC conservative, tout en restant plus rapide à établir en pratique. Par ailleurs, nous avons cherché à améliorer MGAC, tout d'abord en l'équipant d'heuristiques de choix de valeurs. En nous basant sur l'heuristique de Jeroslow-Wang, issue du problème SAT, nous montrons comment cette heuristique se comporterait sur un CSP. Enfin, nous propos ons une hybridation entre une recherche locale basée sur la pondération des contraintes et un algorithme MGAC-dom/wdeg, en exploitant les possibilités d'apprentissage de ceux-ci. L'ensemble des techniques développées dans le cadre de cette thèse a amené à la résolution d'une API pour le langage Java, capable de résoudre un CSP au sein d'une application Java quelconque. Cette API a été développée dans l'optique "boîte noire" : le moins de paramètres et d'expertise possibles sont demandés à l'utilisateur. Un prouveur basé sur CSP4J a concouru lors les compétitions internationales de prouveurs CSP avec des résultats encourageants.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (136 p.)
  • Annexes : Bibliogr. p. 125-134

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Artois (Lens, Pas-de-Calais). Bibliothèque de Sciences.
  • Disponible pour le PEB
  • Cote : 07 ARTO 0405
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.