Online catalogues:

• Global Constraint Catalog. ``The catalogue presents a list of 276 global constraints issued from the literature in constraint programming and from popular constraint systems'' (Dec 8, 2006).

Main textbooks:

• Constraint Processing by Rina Dechter, Morgan Kauffman, 2003.


• Foundations of Constraint Satisfaction by Edward Tsang. Out of print, but the lab has a copy.


• Principles of Constraint Programming by Krzysztof R. Apt. CALL Number QA76.612 .A68 2003.


• Essentials of Constraint Programming by Slim Abdennadher, Thom Frühwirth. Publisher: Springer; 1 edition (April 28, 2003); ISBN: 3540676236.


• Artificial Intelligence, A Modern Approach (AIMA), by Russell & Norvig. CALL number Q335 .R86 1995. First edition available at the Love Library (LL). Chapter 5 in the Second Edition is about CSPs.

Other references:

• The Encyclopedia of Human-Computer Interaction, pages 123--126. Soon at the Avery Library.


• The MIT Encyclopedia of the Cognitive Sciences. CALL  number BF311 .M556 1999, LIB USE ONLY.


• Encyclopedia of artificial intelligence, 1992, SECOND EDITION, call number Q335 .E53, LIB USE ONLY.


• Section on "General AI Information" in " AI Resources ."


• Web search engines (Citeseer, Google, Altavista, etc.)