Suivez-nous Twitter de l'UVHCPage facebook de l'UPHF

Unité d'enseignement : Programmation orientée Contraintes

» Master Informatique » Parcours Technologies Nouvelles des Systèmes d'Information - TNSI

Crédits ECTS : 2
Volume horaire : 18 Heures

Langue d'enseignement Français

• Présentation générale, domaines d'application • Définition des CSP (Problèmes de Satisfaction de Contraintes) • Algorithmes de recherche rétrospectifs et prospectifs • Algorithmes de filtrage • CSP sur-contraints, explication des inconsistances • Extensions (traitement des intervalles, approches distribuées, etc.) • Exemples d'applications et mise en œuvre

Compétences et savoirs enseignés

Maîtrise des techniques de base et avancé en raisonnement avec contraintes, programmation par contraintes.

Références Bibliographiques

• Programming with Constraints: An Introduction : K. Marriott and P.J. Stuckey, The MIT Press, 1998 • Foundations of Constraint Satisfaction : E. Tsang, Academic Press, 1993 • Principles of Constraint Programming : Krzysztof R. Apt

Pré-requis obligatoires

Cours d'intelligence artificielle, notions sur les graphes

Activités

DescriptionVolume Horaire
Cours Magistraux

12.0

Travaux Pratiques

6.0

Examens

Durée
Autre