Section: Constraint Satisfaction Problem (CSP) | ME - S43-b : Modèles, méthodes et outils de l’Intelligence Artificielle pour l’intégration Produit | SAVOIR

Home Catalogue des cours Ressources

CampusMetz

Année Universitaire2024-2025

Cours de base11881

Semestre1er semestre

Section outline

- Select activity Support de cours - CSP
  
  Support de cours - CSP File
  
  Ce support comprend:
  Une explication du fonctionnement des algo de propagation de contraintes
  Des exemples et exercices
  Une description de l'outil MiniZinc avec les fonctions élémentaires
- Select activity Page du logiciel Minizinc (pour download et user guide)
  
  Page du logiciel Minizinc (pour download et user guide) URL
- Select activity Corrections Programme MiniZinc
  
  Corrections Programme MiniZinc Folder
  
  Corrections des programmes en Minizinc :
  Coloriage de la carte
  Les puzzles (TWO + TWO = FOUR & SEND + MORE = MONEY)
  La carré magique
  Best Burger (+ affichage esthétique du résultat)
- Select activity Vidéo Minizinc - Structures de base
  
  Vidéo Minizinc - Structures de base URL
- Select activity Vidéo Minizinc - Matrices, fonctions d'aggrégat et générateur
  
  Vidéo Minizinc - Matrices, fonctions d'aggrégat et générateur URL
- Select activity Mini-projet Constraint Satisfaction Problem
  
  Mini-projet Constraint Satisfaction Problem Folder
- Select activity Rendu Mini-Projet CSP
  
  Rendu Mini-Projet CSP Assignment