Resources

Main publication venues

AAAI Digital Library.
Electronic Reserve of the Love Library.
Conferences: Constraint Programming (CP), AAAI (online proceedings), IJCAI (online proceedings, 2009 online proceedings, ), ECAI, FLAIRS, etc.
Journals: AI Journal (index at the Love Library), Constraints (index at the Love Library, online access).

Constraint Processing Online

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.)

Puzzles Built @ the ConSystLab

Interactive Minesweeper. Built by K. Bayer, J. Snyder, and R. Woodward.
Interactive Sudoku Solver. Built by Ch. Reeson.

Benchmark Problems

Coloring Australia map: In the xml format of CP Competition (courtesy of Ken Bayer).
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.
(Seems gone for now..) CLib: Configuration Benchmarks Library.

Archives and On-Line Systems

A list of Constraint Solvers
Pointers to various generators from the ConSystlab web page.
Various models of random generators in Java by Bart Craenen
The ECLiPSe Constraint Logic Programming System
Random generator in C at LIRMM
Random generator in Common Lisp by Patrick Prosser
Random generator in C courtesy of Fahiem Bacchus (and P. van Run).
JACK: a library providing constraint programming and search for Java (high-level language, generic search engine, and a visualization tool).

Research Centers

Cork Constraint Computation Center (4C)
Microsoft Research (Cambridge)
Monterey Bay Aquarium Research Institute
Palo Alto Research Center (PARC)
NASA Ames Research Center
etc.

Courses

At UNL
Rina Dechter: Constraint Networks (1999, 2001, 2003, 2007)
Michela Milano: Constraint Programming Approach to AI Applications
Roman Barták: Foundations of Constraint Satisfaction, ESSLI 2002 and Constraint Programming: An Online Textbook.
Neil Yorke-Smith and Dan Bryce: CS227: Reasoning Methods in Artificial Intelligence.
Fahiem Bacchus: CSC2512F Constraint Satisfaction Problems
Barbara Smith: Tutorial on Constraint Programming.
David McAllester: Lecture notes.
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 Shant Karakashian: LaTex on Wikibooks
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


Last modified: Tue Jan 8 16:06:02 CST 2013