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).