Soutenance de thèse de Monsieur Corentin BEHUET

Le 5 novembre 2026 de 10:00 à 13:00

10h00 | Faculté des Sciences | AMPHI L003 | 2, boulevard Lavoisier | ANGERS

Sujet : Langage dédié et résolution par contraintes pour la conception d'emploi du temps 

Directeur de thèse : Monsieur David LESAINT

RÉSUMÉ

La conception d’emplois du temps (EDT) est un processus critique pour les établissements d’enseignement. L’objectif est de planifier des séances en leur attribuant élèves, enseignants et autres ressources dans le respect de règles métier. Le problème est difficile en raison de sa combinatoire, du volume et de la richesse des données à traiter et de la diversité des règles à satisfaire. Afin d’expliciter la variabilité des problèmes rencontrés en pratique, nous présentons un modèle de caractéristiques (MC) qui nous permet d’analyser et comparer les différents forma lismes proposés dans la littérature. Nous introduisons ensuite un langage de modélisation dédié (UTP) couvrant l’ensemble des variantes du problème décrites par le MC. Le langage repose sur un modèle métier et un catalogue de prédicats. Le modèle impose des contraintes cœur sur les entités d’instances tandis que les prédicats per mettent d’exprimer des contraintes métiers. Pour faciliter l’expression des besoins, le langage permet également de regrouper, sous forme de règles compactes, des contraintes instanciant un même prédicat. Nous proposons ensuite un modèle de programmation par contraintes pour traiter les ins tances UTP. Nous montrons comment exploiter certaines caractéristiques des instances afin de re formuler et simplifier domaines et contraintes. Les expérimentations menées sur des jeux de données réels et pseudo aléatoires mettent en évidence la pertinence des stratégies de résolution privilégiant l’allocation de ressources sur l’ordonnancement de séances. Enfin, elles confirment l’intérêt de règles de reformulation fondées sur les caractéristiques d’instances pour améliorer le passage à l’échelle.

Télécharger l'avis de soutenance de thèse