A comprehensive book on the field of constraint satisfaction, the core of many applications in artificial intelligence. Covers both the theoretical and the implementation aspects of the subject.

More: continued here