Consistencies - Global Constraint (Emmanuel Hebrard)
Section outline
-
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.
-
-
-
-
Students mustMark as done
-
Students mustMark as done
-
Students mustMark as done
Quiz on local consistencies (AC, BC, Closure)
-
-
Students mustViewReceive a gradeReceive a passing grade
-
-
-
Correction of the Magic Series Quiz URL
-
Students mustMark as done
Implementation of a Propagator
-
-