Constraint Programming

Lecture 15 - Constraint Satisfaction Problems

• url: https://static.catseye.tc/archive/www.doc.ic.ac.uk/sgc__teaching__pre2012__v231/Constraint%20Satisfaction%20Problems.html

.

Lecture 15 - Constraint Satisfaction Problems (slides)

• url: https://web.archive.org/web/20180404184624/http://www.doc.ic.ac.uk:80/~sgc/teaching/pre2012/v231/lecture15.ppt
• format: ppt

.

Narrowing of algebraic value sets - Wikipedia

• url: https://en.wikipedia.org/wiki/Narrowing_of_algebraic_value_sets

.

constraint programming - clp(Z) vs. Kiselyov relational arithmetic - Stack Overflow

• url: https://stackoverflow.com/questions/61944276/clpz-vs-kiselyov-relational-arithmetic

.