Le Problème de satisfaction de contraintes : synthèse et méthode exacte de résolution

par Hachemi Bennaceur

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Plateau.

Soutenue en 1989

à Paris 13 .


  • Résumé

    Le problème de satisfaction de contraintes consiste à exhiber une ou plusieurs solutions d'un système diophantien ou à démontrer la vacuité du domaine associé. La synthèse des differentes implications de ce problème dans le domaine de l'informatique (intelligence artificielle, vectorisation de programmes, vérification de codes, équations sur les mots. . . ) a permis de mettre en évidence les différents modèles typiques de ces applications. L'analyse des techniques de résolution utilisées jusqu'à présent dans le domaine de la vectorisation de programmes a démontré tout l'intérêt de concevoir une nouvelle méthode permettant de trouver efficacement une solution quelque soit l'instance traitée. Cette méthode efficace et robuste appelée fas3t repond aux deux objectifs : preuve de la vacuité du domaine ou de l'existence d'une solution. Les applications à la vectorisation automatique de programmes et au fameux problème de satisfaction d'une expression logique demontrent la rapidité de la méthode fas3t

  • Titre traduit

    The Constraint satisfaction problem : synthesis and exact solving method


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (150 p.)
  • Annexes : Contient des références bibliographiques

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire.
  • Disponible pour le PEB
  • Cote : TH 1989 021

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1989-BEN
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.