Application de la programmation en logique avec contraintes au probleme d'emploi du temps

par XAVIER COUSIN

Thèse de doctorat en Informatique

Sous la direction de JEAN SEGUIN.

Soutenue en 1993

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Le but de cette these est de proposer une aide a la modelisation et a la resolution des problemes d'emploi du temps. Pour faire cette aide, nous utilisons la programmation en logique avec contraintes. La premiere partie de cette these fait etat des travaux rencontres dans la litterature pour bien comprendre le lien a faire entre programmation en logique avec contraintes et probleme d'emploi du temps. Elle presente d'une part la problematique du probleme d'emploi du temps par les differentes resolutions rencontrees et d'autre part les differentes techniques de programmation en logique avec contraintes avec les divers langages existants. La deuxieme partie presente ma reflexion sur la maniere de faire le lien entre programmation en logique avec contraintes et probleme d'emploi du temps. Afin d'avoir une resolution plus generale, nous definissons un nouveau modele de coloration: la coloration multi-dimensionnelle. Puis nous donnons une aide a la resolution du probleme d'emploi du temps en proposant un modele base sur cette coloration. Celui-ci se traduit facilement en programmation en logique avec contraintes. Enfin, nous donnons une aide a la modelisation en detectant des contraintes a relacher en cas de blocage. Ainsi nous pouvons faire un relachement sense permettant une interaction intelligente entre une resolution d'un probleme et sa modelisation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (166 f.)
  • Annexes : 75

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1993/66
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.