Année universitaire 2019-2020

Objectif

Dans ce cours, nous allons voir comment des outils mathématiques comme les contraintes et les problèmes de Satisfaction de Contraintes (CSP) permettent de représenter, ou de définir, des problèmes nécessitant un raisonnement logique.

L’enseignement est composée de deux grandes parties:

Equipe enseignante


Détail des scéances

Séance 1

Les contraintes et les CSPs. Transparents du cours

Séance 2

Algorithmes de résolution. Transparents du cours
Matériel TD : Fichier Python à remplir et Exemple de grille

Séance 3

Un outil de résolution de CSPs discrets. Transparents du cours

Séance 4

Les CSPs continus ou numériques. Transparents du cours
Matériel TD : Fichier cpp à remplir et Makefile
(>> export PKG_CONFIG_PATH=/home/uei/chapoutot/Public/share/pkgconfig)

Séance 5

Résolution des CSPs continus. Transparents du cours

Séance 6

CSPs sous ou sur contraints. Transparents du cours

Séance 7

Etat de l'art, communauté CP, lecture d'article. Transparents du cours
Matériel TD : CP

Examen

Data

Outils