Online Resources

Random Problem Generators

A generator of random binary CSPs (Model B), modified by Shant Karakashian from Bessière's original in order to output files in XML format.

1. Warning 1: Apparently this generator may generate networks that are not connected. Use with caution, or avoid using.
2. Warning 2: Please note that the generated XML document for the CSP instance may not perfectly conform to the XCSP 2.1 standard. Further modifications may be required for more features. So, test it first. If you can improve on it, please send us your improvements.

RBGenerator: A Generator for Random CSP in JAVA using Model RB by Lecoutre et al.
A Generator for Random CSP in JAVA by Bart G.W. Craenen.
Instances of forced satisfiable CSPs and SAT Benchmarks of Model RB by Ke Xu.
Random generator at LIRMM by Christian Bessiere. Apparently this generator may generate networks that are not connected. Use with caution, or avoid using.
Random generator in C courtesy of Fahiem Bacchus (and P. van Run).

Puzzles Built @ the ConSystLab

Interactive Minesweeper. Built by Robert Woodward (2007--), K. Bayer (2006--2007), J. Snyder (2005).
Interactive Sudoku Solver. Built by Ch. Reeson (2006-2007), Angelo @ISI (2007).

Benchmark Problems

The list of benchmark problems usually used in the CP Solvers programming competetion. Check also the related tools.
The organizers of the International Workshop on Constraint Propagation and Implementation organize a Solver Competition and make available the benchmark problems used during the competition. Such as the ones used in the 2005 competition. Such problem instances are typically written using the new standards for representing CSP instances: an XML representation and also a table representation.
CLib: Configuration Benchmarks Library.

Archives and On-Line Systems

Catalog of Global Constraints A list of Constraint Solvers
Pointers to various generators from the ConSystlab web page.
The ECLiPSe Constraint Logic Programming System
JACK: a library providing constraint programming and search for Java (high-level language, generic search engine, and a visualization tool).

Main publication venues

Conferences:

Constraint Programming (CP), AAAI, IJCAI, ECAI, FLAIRS, etc.

Journals:

AI Journal (index at the Love Library, online access access), Constraints (index at the Love Library, online access).

Constraint Processing

CP Online
Yahoo Group: Constraints, Association for Constraint Programming
AI Topics of the American Association for Artificial Intelligence
Web search engines (Google (scholar), CiteSeer, Altavista, etc.)

Industrial companies and start-ups

COSYTEC,  I2 Technologies,  Red Pepper (PeopleSoft, Oracle), Blue Pumpkin, , Ilog, Trilogy, Parc Technologies Ltd (now CISCO), Carmen Systems, Firepond, On Time Systems Inc., ConfigWorks., etc.

Research Centers

Cork Constraint Computation Center (4C), Microsoft Research (Cambridge), Monterey Bay Aquarium Research Institute, PARC, NASA Ames, (to be completed)

Courses

Constraint Networks (2001 and 2007) by Rina Dechter
Constraint Programming Approach to AI Applications, by Michela Milano
Foundations of Constraint Satisfaction, ESSLI 2002, by Roman Barak
Constraint Programming: online textbook by Roman Barták.
Reasoning Methods in AI (CS329A, CS227): courses by Pandu Nayak.
Constraint Satisfaction Problems (CSC2512F): course by Fahiem Bacchus
Tutorial on Constraint Programming, by Barbara Smith.
Lecture notes by David McAllester.
Bacchus' Constraint Programming Bibliography

Academic Research Groups

Constraint Systems Laboratory at UNL
LIA@EPFL
APES Group in the UK.
Cork Constraint Computation Center (4C) of Freuder in University College Cork, Ireland.

Latex Resources

From Joel Gompert: Getting memory-efficient, pretty-looking, robust graphics with very fancy robust labels into LaTeX
From Ryan Lim: The not so short introduction to LaTex2x