View Source Document

Chris Pressey.md

Commentary by Chris Pressey

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.

Constraint Programming

Principles of Constraint Programming

A good textbook covering many aspects of constraint programming.

Constraint Programming Languages: Their Specification and Generation

A good book, spawned from the author's PhD these, about how to implement constraint programming languages using a kind of term rewriting.

Lecture 15 - Constraint Satisfaction Problems

This is an archive of the page http://www.doc.ic.ac.uk/~sgc/teaching/pre2012/v231/lecture15.html, including all inline images, that was saved sometime in the 2010's. This page is also archived in the Wayback Machine, however no snapshot on web.archive.org seems to have saved the images correctly.

There are also slides (in Powerpoint format) to go with the lecture (see [Lecture 15 - Constraint Satisfaction Problems (slides)][]) - but they tell an abbreviated version of the story.

Lecture 15 - Constraint Satisfaction Problems (slides)

There is also a web page with a more narrative version of this lecture - see [Lecture 15 - Constraint Satisfaction Problems][].

Narrowing of algebraic value sets - Wikipedia

This is actually a very good Wikipedia page on the subject. Narrowing is usually implemented with term rewriting, and serves as the basis for "functional logic programming", but it is very close to constraint programming in spirit, and this page describes it more in that manner.

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

.