Thu Jul 16 15:48:19 CEST 2009

Constraint Programming

Constraint programming is rougly based on replacing functions as a
primitive building block by equations (relations or multi-directional

To make things feasible, constraints are supposed to be _locally
enforced_ with some global issues handled using backtracking.

It looks like in first approximation it's best to start with [2] as it
contains virtually the same as the introduction of [1].

[1] http://www.ai.mit.edu/publications/pubsDB/pubs.doit?search=AITR-595
[2] http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-22.html#%_sec_3.3.5