Course: Programmation par Contraintes

Section outline

Select section General

Collapse Expand
General

Collapse all Expand all
- Select activity Forum des nouvelles
  
  Forum des nouvelles
- Select activity Projet Dobble
  
  Projet Dobble File
- Select activity Projet Modélisation
  
  Projet Modélisation File
- Select activity Données pour le projet: HB 113 instances
  
  Données pour le projet: HB 113 instances File
- Select activity HB113
  
  HB113 Folder
- Select activity Projet 2022-2023
  
  Projet 2022-2023 File
Select section Distanciel

Collapse Expand
Distanciel
- Select activity Constraint Programming and Constraint Propagation lecture
  
  Constraint Programming and Constraint Propagation lecture Folder
- Select activity MiniZInc modeler
  
  MiniZInc modeler URL
- Select activity MCSP3 Modeler (tuto)
  
  MCSP3 Modeler (tuto) URL
- Select activity MCSP3 Modeler
  
  MCSP3 Modeler URL
- Select activity Association for Constraint Programming
  
  Association for Constraint Programming URL
- Select activity Forum distanciel
  
  Forum distanciel
- Select activity Quiz PPC
  
  Quiz PPC
Select section CM 2021-2022 (based on PyCSP3)

Collapse Expand
CM 2021-2022 (based on PyCSP3)
- Select activity Introduction to CP
  
  Introduction to CP File
- Select activity Modeling
  
  Modeling File
- Select activity Filtering
  
  Filtering File
- Select activity Search
  
  Search File
- Select activity SAT
  
  SAT File
- Select activity Optimizing
  
  Optimizing File
- Select activity Filtering 2
  
  Filtering 2 File
Select section TD

Collapse Expand
TD
- Select activity TD1
  
  TD1 File
Select section CM (based on MiniZinc)

Collapse Expand
CM (based on MiniZinc)
- Select activity Introduction to Constraint Programming
  
  Introduction to Constraint Programming File
- Select activity Modeling?
  
  Modeling? File
- Select activity Short term vs. Long Term Modeling
  
  Short term vs. Long Term Modeling File
- Select activity Introduction to MiniZinc
  
  Introduction to MiniZinc File
- Select activity Modélisation avancée
  
  Modélisation avancée File
- Select activity Local consistency
  
  Local consistency File
- Select activity Search
  
  Search File
- Select activity SAT
  
  SAT File
Select section Cours d'Éric Monfroy

Collapse Expand
Cours d'Éric Monfroy

Not available
Select section TD Eric Monfroy

Collapse Expand
TD Eric Monfroy
- Select activity TD/TP 1
  
  TD/TP 1 File
- Select activity TD/TP 2
  
  TD/TP 2 File
- Select activity TD/TP 3
  
  TD/TP 3 File
- Select activity TD4-consistency
  
  TD4-consistency File
- Select activity TD5-modeling
  
  TD5-modeling File
- Select activity Discussions/Questions/Remarques autour des TD
  
  Discussions/Questions/Remarques autour des TD Forum
Select section Compléments associés au distanciel

Collapse Expand
Compléments associés au distanciel
- Select activity Introduction to global constraints
  
  Introduction to global constraints File
Select section Cours de Florian Richoux

Collapse Expand
Cours de Florian Richoux

Not available
Select section TP de Florian Richoux

Collapse Expand
TP de Florian Richoux

Not available
Select section Quelques Annales

Collapse Expand
Quelques Annales
- Select activity Exam 2017-2018
  
  Exam 2017-2018 File