Slides by Helmut Simonis (hs@icparc.ic.ac.uk):

• CSCE990 class: CLP Principles (powerpoint). Monday Nov 14, 2000
•  JDEHP seminar: Industrial Applications (powerpoint).  Monday, Nov14, 2000
• Joint CSE and JDEHP colloquium: Constraint Programming for industrial Applications (powerpoint).  Tuesday Nov 15, 2000.

Some industrial companies and start-ups implementing advanced constraint-based systems: (listed in random order)

• I2 Technologies
• PeopleSoft/Red Pepper
• J.D. Edwards/Numetrix
• Blue Pumpkin
• Calico
• Ilog
• Trilogy
• COSYTEC
• Parc Technologies Ltd
• Carmen Systems
• Firepond,
• On Time Systems Inc, etc.

• At UNL, CSCE990-05 Fall-1999, CSCE990-05 Fall-2000.
• Constraint Programming: online textbook by Roman Barták.
• Reasoning Methods in AI (CS329A): course by Pandu Nayak.
• Tutorial on Constraint Programming, by Barbara Smith.
• Lecture notes by David McAllester.

• Constraints archives at CCC.
• CSPLib: Problem Library on the Web.

• Foundations of Constraint Satisfaction by Edward Tsang. (out of print).
• Programming with Constraint, An Introduction.  Kim Marriott and Peter J. Stuckey. Call number  QA76.63 .M37.

Artificial Intelligence, A Modern Approach (AIMA), by Russell & Norvig. CALL number Q335 .R86 1995.

• Artificial Intelligence, AIJ. (Available at LL.)
• Constraints, An International Journal. (Love Library call number QA76.612 C66)
• Annals of AI+Math
• Journal of the ACM

• Constraint Programming (CP), CP-2000,
• The Practical Application of Constraint Technology Conferences (PACT)
• AAAI
• IJCAI
• ECAI
• FLAIRS, etc.

• LIA@EPFL
• APES Group in the UK.
• Constraint Computation Center of Freuder in Univ. of New Hampshire.
• IC-Parc
• etc.

• Mailing list: csp@carlit.toulouse.inra.fr  (by subscription)
• Newsgroup: comp.constraints

• 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."