Constraint Programming Winter School
Тематический план
-
Общее
-
If you continue to work on the labs and you have questions, you can push your code in the lab so we can access it and contact us:
- Hadrien: hadrien.cambazard@grenoble-inp.fr
- Arnaud: arnaud.malapert@univ-cotedazur.fr
- Charles: charles.prudhomme@imt-atlantique.fr
-
Constraint propagandaWe will spread the good word about constraint propagation and local consistencies. The former is the prime procedure to prune prohibitively large search trees in constraint programming. The latter is the formal notion used to describe what propagation does, irrespective of how it is done, and is essential to designing, analyzing and comparing constraint propagation algorithms. We will use several examples to introduce some relevant terminology as well as a few important principles, and hopefully persuade you of the significance of constraint propagation.
-
Quiz on local consistencies (AC, BC, Closure)
-
Получить оценку Получить проходной балл
-
Просмотреть Получить оценку Получить проходной балл
-
Получить оценку Получить проходной балл
-
Получить оценку Получить проходной балл
-
Correction of the Magic Series Quiz Гиперссылка
-
Implementation of a Propagator