CSCE 421/821

Foundations of Constraint Processing

Online Resources

Random Problem Generators

Puzzles Built @ the ConSystLab

Interactive 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 Problems

The 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 Systems

Catalog 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 Processing

Association for Constraint Programming
CP Online
Yahoo Group: Constraints, Association for Constraint Programming
AI Topics of the American Association for Artificial Intelligence, etc.

Industrial companies and start-ups

COSYTEC I2 TechnologiesRed 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 Centers

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

Courses

Rina Dechter: Constraint Networks ( 1999, 2001, 2003, 2007, 2010, 2014)
Michela Milano: Constraint Programming Approach to AI Applications
Roman Barak: Constraint Satisfaction Problems (CSC2512F): course by Fahiem Bacchus
Barbara Smith: Tutorial on Constraint Programming (PS, PDF).
David McAllester: Lecture notes (PS).
Bacchus' Constraint Programming Bibliography

Academic Research Groups

Constraint Systems Laboratory at UNL
LIA@EPFL
Cork Constraint Computation Centre (4C) of Freuder in University College Cork, Ireland.

LaTeX Resources

  • LaTeX on Wikibooks
  • Example Homework LaTeX document (TEX, PDF). Here are the figures, generated using xfig (which comes with Sun OS): FIG, EPS, PDF.
  • TeX Users Group
  • Getting Started With LaTeX
  • LaTeX Tutorial
  • The Not-So-Short Introduction to LaTeX 2e (PDF)
  • LaTeX Quick Reference Card (.pdf)
  • LyX -- User Friendly LaTeX Frontend
  • MikTeX -- A Windows LaTeX Distro
  • WinEDT -- A Windows LaTeX Frontend
  • 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 LaTex