Useful Links in Constraints Research


Conferences

The 2nd International Conference on Computational Intelligence, Robotics and Autonomous Systems, Singapore, 15-18 December 2003
Congress of Evolutionary Computation (CEC 2003) 8-12 December, 2003
Constraint Programming (CP-2003), Cork, Ireland, September 2003
EuroGP (EuroGP'03) Colchester, UK, April 2003 (photos) (Proceedings)

Constraint Products / Companies

Global Optimum Limited (software development for businesses efficiency).
Yudoko, a Sudoku puzzle solver and generator (it generates puzzles with unique solutions)
Enginest Software -- Natural Constraint Language (NCL).
ECLiPSe from IC-Parc.
i2 (Supply Chain Management).
IF/Prolog.
ILOG.
LINE (collective transportation, logistics).
MPL (Optimisation Modelling tool).
Koalog
Actenum Corporation (Bill Havens, Morten Irgens, Vancouver)
Artelys Kalis (a constraint programming framework enabling the user to define its own constraints and search heuristics.)

Research Material

Constraints Archive
Constraint satisfaction problems teaching material
Consnet: people involved in constraints research
Inter-disciplinary Scheduling Network, UK
CSPLib: Benchmark Library for Constraints.
Michael Trick's Operations Research Page. a huge collection of pointers for OR.
Unified CS TR Index from Indiana, USA.
Travelling Salesman Library
SAT Library
Genetic Algorithms Archive.
Europe's Network of Excellence for Agent-based Computing.
A Compendium of NP Optimization Problems.
The UK Constraints Network (1999-)
JPL Planning & Scheduling Research
Constraints on First Order Logic
Constraints and Music
Estimation of Distribution Algorithms (EDA), Professor Pedro Larraņaga's group at University of the Basque Country, Spain
The Reactive Search Website

Research Centres

Cork Constraint Computation Centre, (4C)
IC Parc, Imperial College.
APES Group.
CIRL, University of Oregon.
SIGART's AI Resources Page.
Journal of Artificial Intelligence Research.
WWW Virtual Library: Artificial Intelligence.
AI International, UK.
WWW sites in Hong Kong.
Map of and links to UK Universities.
Jimmy Boyce's Image Processing Group, King's College, London.
Pablo Moscato, (links to Memetic algorithms, TSP Library).
Knowledge Engineering and Computational Intelligence Laboratory, Otago University, New Zealand (Nikola Kasabov).
Xerox Model-based Computing Project (Markus Fromherz).
Professor Hao's Constraint & Combinatorial Optimization Group.
Professor Makoto Yokoo (distributed constraint satisfaction).
Java Constraint Kit
Constraint Handling Rules (CHR) by Thom Fruehwirth.
FRODO, a simulation platform for distributed constraint satisfaction/optimization problems by Adrian Petcu, AI Lab, EPFL, Switzerland
International Centre for Scientific Research

University of Essex Constraint Programming Group Home Page