Algorithmes de filtrage: consistance de borne, d'arc, de chemin
Disjonction constructive
Contraintes globales
« Branch and bound »
Heuristiques d'énumération (choix de variables et de valeurs)
Compétences acquises Cette UE permettra aux étudiants d’acquérir les fondements en matière de modélisation, de représentation de connaissances et de raisonnements possibles. Ce sont des pré-requis importants dont on a besoin pour aborder de nombreux problèmes de recherche.
Méthodologiques :
Savoir définir un problème nécessitant des techniques avancées de représentation de connaissances et de modélisation de données.
Savoir identifier les approches algorithmiques nécessaires et les algorithmes qui serviront de socles de bases pour proposer des solutions a des problèmes spécifiques
