(See also Books)

Courses:

• Constraint Processing Courses at CSE-UNL
• 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.

Research Groups:

• 4C, Cork, Ireland
• LIA@EPFL
• APES Group in the UK.

Associations and Research Groups:

• CP Online.
• Association for Constraint Programming.
• American Association for Artificial IntelligenceI.
• European Coordinating Committee for Artificial Intelligence.

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.

Conferences:

• Constraint Programming (CP)
• The Practical Application of Constraint Technology Conferences (PACT)
• The National Conference on Artificial Intelligence  (AAAI)
• The International Joint Conference on Artificial Intelligence (IJCAI)
• The European Conference on Artificificial Intelligence (ECAI)
• FLAIRS

Lisp resources

• Found by Eric Moss: Scieneer (TM) Common Lisp implementation supposedly good for multiprocessor systems (for multi-threaded applications using real OS threads): http://www.scieneer.com/.

Latex resources

• A few useful math symbols
• Excel 2 latex conversions. Use Excel2LaTex V2.0. It is an add in to excel. zip'ed Code and Readme instructions.
• Found by Martin Michalowski: The Comprehensive LaTex Symbol List by Scott Pakin (9 November 2009)
• Found by Ryan Lim: presentations in LaTex using Prosper
• Found by Ryan Lim: The not so short introduction to LaTex2e
• Found by Joel Gompert: Getting memory-efficient, pretty-looking, robust graphics with very fancy robust labels into LaTeX