Master Sciences, Technique, Santé

Algorithmique et techniques de résolution:

• 
  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
  

Techniques :

• 
  Outils formels
  
• 
  Algorithmes