Abstract FR:

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