Random Problem Generators
Random generator for binary CSPs written by Peter Schlette
as a modification of the generator of Christian Bessière (LIRMM),
which was itself
previously modified by Shant Karakashian to output the results in
- guarantees that the network is connected (both by checking on the number of constraints before generating the graph and also by checking the connectedness of the generated graph; and
- writes each generated instance into a separate file (when the option "-f myFileTag" is used) .
- 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.
- The RandomCSP Library by J.I. van Hemert.
- 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).
- Pointers to various generators from the ConSystlab web page.
Puzzles Built @ the ConSystLabInteractive Game of Set . Built by Amanda Swearngin (2011).
Interactive Minesweeper. Built by Robert Woodward (2007--present), K. Bayer (2006--2007), J. Snyder (2005).
Interactive Sudoku Solver. Built by Ch. Reeson (2006-2007), Angelo @ISI (2007).
Benchmark ProblemsThe list of benchmark problems usually used in the CP Solvers programming competetion. Check also the related XCSP 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, Solvers, and On-Line SystemsCatalog of Global Constraints
A list of Constraint Solvers
The Java Constraint Programming (JaCoP) Solver
Bartak's list of Constraint Systems/Solvers
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, ISAIM, etc.
Journals:AI Journal (index at the Love Library, online access access), Constraints (index at the Love Library, online access).
Constraint ProcessingAssociation for Constraint Programming
Yahoo Group: Constraints, Association for Constraint Programming
AI Topics of the American Association for Artificial Intelligence, etc.
Industrial companies and start-upsCOSYTEC, I2 Technologies, Red Pepper (bought up by PeopleSoft, then Oracle), Blue Pumpkin (now Verint), Calico (now Oracle), Ilog (to become IBM), Trilogy, Parc Technologies Ltd (now CISCO), Carmen Systems (now Jeppesen), Firepond, On Time Systems Inc., ConfigWorks., etc.
Research CentersCork Constraint Computation Centre (4C), Microsoft Research (Cambridge), Monterey Bay Aquarium Research Institute, PARC, NASA Ames, (to be completed)
CoursesRina Dechter: Constraint Networks ( 1999, 2001, 2003, 2007, 2010, 2014)
Michela Milano: Constraint Programming Approach to AI Applications
Roman Barak: CSC2512F): course by Fahiem Bacchus
Barbara Smith: Tutorial on Constraint Programming (PS, PDF).
David McAllester: Lecture notes (PS).
Bacchus' Constraint Programming Bibliography
Academic Research GroupsConstraint Systems Laboratory at UNL
Cork Constraint Computation Centre (4C) of Freuder in University College Cork, Ireland.