Djaidja, BadrKhettaf, Abdelouahab: Rapporteur2024-07-042024-07-042024-06-12https://dspace.univ-msila.dz/handle/123456789/43268La planification automatique des emplois du temps universitaires par le biais du problème de satisfaction de contraintes (CSP) optimise la création des emplois du temps en prenant en compte diverses contraintes. Cette méthode identifie les besoins spécifiques des emplois du temps universitaires, y compris la gestion des ressources et la satisfaction des contraintes. Le problème est modélisé en termes de CSP, avec une définition précise des variables, des domaines et des contraintes spécifiques. L'implémentation pratique utilise le langage Prolog et le logiciel Scryer Prolog, et les résultats sont appliqués à un département universitaire. Cette approche permet de générer des emplois du temps pour les groupes d'étudiants, les enseignants et les salles, tout en optimisant le temps d'exécution.frplanification automatiqueemploi du temps universitaireproblème de satisfaction de contraintes (CSP)Thesis