[<<][compsci][>>][..]Thu Jul 16 15:48:19 CEST 2009

Constraint programming is rougly based on replacing functions as a primitive building block by equations (relations or multi-directional functions). 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

[Reply][About]

[<<][compsci][>>][..]