AccueilMasterInformatiqueEnseignementsModélisation et résolution pour l'optimisation

Master InformatiqueUE Modélisation et résolution pour l'optimisation

Contenu

Cette UE poursuit l’introduction au raisonnement automatique en étudiant des formalismes plus complexes et proches des problèmes réels, qui sont souvent des problèmes d’optimisation : les CSP valués non binaires (et d’autres formalismes ?). On étudiera les méthodes de résolution arborescente associées, les méthodes de résolution incomplète (recherche locale/réparation) et des solveurs d’optimisation (Toulbar, LocalSolver).

Langue utilisée

Langue principale utilisée par cet enseignement : Français.

Volume des enseignements

  • Cours magistraux : 10 heures
  • Travaux dirigés : 10 heures
  • Travaux pratiques : 7 heures

Codes APOGÉE

SINCU81L, SINCU81J.

Les formations qui utilisent cet enseignement