This page contains pointers to various constraints-related books,
articles, reviews, etc., as well as pointers to sites that have
collections of constraint-related publications.

Books and articles
================================================================

Objects for Concurrent Constraint Programming
<http://www.wkap.nl/book.htm/0-7923-8038-X> by Martin Henz, National
University of Singapore, Kluwer Academic Publishers.

CHIC Lessons on CLP Methodolgy (html
<http://www.ecrc.de/eclipse/html/CHIC_Methodology.html>, postscript
<ftp://ftp.ecrc.de/pub/chic/>) -- a paper by Andre
Chamard, Annie Fischler, Dominique-Benoit Guinaudeau and Andre Guillard

Computational Phonology: A Constraint-Based Approach
<http://www.cogsci.ed.ac.uk/~steven/book.html> a book by Steven Bird,
Edinburgh.

Constraint Programming: Basics and Trends
<http://www.cs.unh.edu/ccc/archive/constraints/archive/podelski.html> edited
by Andreas Podelski (Chatillon-sur-Seine Spring School, France, May
1994).

CHIP hints <http://www.biochem.abdn.ac.uk/~scott/chip.html> (Scott
Fleishman <http://www.biochem.abdn.ac.uk/~scott/scott.html>,
Aberdeen).

Logic Programming: Formal Methods and Practical Applications
<http://voss.fernuni-hagen.de/gebiete/pi8/lit/lp95book.html> edited by
C. Beierle and L. Pluemer, published by Elsevier.

Abstract <http://www.cs.unh.edu/ccc/archive/constraints/archive/kondrak.html>
of "A Theoretical Evaluation of Selected Backtracking Algorithms" by
Grzegorz Kondrak, University of Alberta.

Over-Constrained Systems
<http://www.cs.unh.edu/ccc/archive/constraints/archive/ocs-book.html> edited
by Michael Jampel, Eugene Freuder, and Michael Maher. Springer LNCS
1106, August 1996. Contains selected papers from the Workshop on
Over-Constrained Systems at CP'95, and also reprints and background
papers.

Phase Transition Behaviour of Maintaining Arc Consistency
<ftp://agora.leeds.ac.uk/scs/doc/reports/1995/> by Stuart
Grant and Barbara Smith (Leeds)

Constraint Programming
<http://www.icparc.ic.ac.uk/papers/handbook.ps>
by Mark Wallace

Practical Applications of Constraint Programming
<http://www.icparc.ic.ac.uk/papers/practical_applications_of_constraint_pro.
ps>
by Mark Wallace

Engineering of Optimisation Projects
<http://www.icparc.ic.ac.uk/chic2/chic2_methodology/>
by the CHIC-2 Consortium

Reviews and surveys
================================================================

Overview of CSP tools
<http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> including CHIP,
CHARME, and ILOG SOLVER by Tim Duncan
<http://www.aiai.ed.ac.uk/~timd/timd.html>.

CLP with Non-Linear Constraints
<http://www.risc.uni-linz.ac.at/people/ocaprott/survey.html>, a survey
by Olga Caprotti
<http://info.risc.uni-linz.ac.at:70/1/people/ocaprott>. (This
information is also in the comp.constraints FAQ, but in a slightly
different form.)

Review <http://www.cs.unh.edu/ccc/archive/constraints/archive/cras.html> by
Michael Jampel of A Review of Industrial Constraint Solving Tools by
Jean-Yves Cras

Sites with publications on constraints
================================================================

CCL project <http://ps-www.dfki.uni-sb.de/ccl> Construction of
Computational Logics (located at DFKI) -- also CCL Bibliographies
<http://ps-www.dfki.uni-sb.de/ccl/publications/index.html>

CHIC project <http://www.ecrc.de/CHIC/> Constraint Handling in Industry
and Commerce (located at ECRC)

CHIC-2 project (Creating Hybrid Solutions for Industry and Commerce)
1996-99 <http://www.icparc.ic.ac.uk/chic2/>

Computer Aided Design
<http://www-cad.eecs.berkeley.edu/Respep/Research/analog-cad/analog-group-st
uff.html>
Constraint-driven synthesis and analysis of analog and mixed-signal
integrated circuits (Berkeley).

Constraint Logic Programming ftp archive
<ftp://ftp.daimi.aau.dk/pub/CLP/index.html> (run by Brian Mayoh)

Constraints <http://www.cs.unh.edu/constraints> Journal, edited by
Eugene Freuder <http://www.cs.unh.edu:70/0h/faculty/freuder.html>.

CMU AI Repository
<http://www.cs.cmu.edu/Web/Groups/AI/html/repository.html>

DFKI Programming Systems Lab <http://ps-www.dfki.uni-sb.de> and DFKI
Constraints Research
<http://www.dfki.uni-kl.de/~hmeyer/constraints/constraints.html>

ECRC ftp archive <ftp://ftp.ecrc.de/pub/>

Essex University ftp archive <ftp://solb1.essex.ac.uk/pub/csp/> (CSPs,
partial constraints, constraints related to neural nets etc. Edward
Tsang)

IC-Parc, Imperial College Centre for Planning and Resource Control
http://www.icparc.ic.ac.uk (publications and ECLiPSe system)

The ILOG Solver and Schedule
<http://www.ilog.com/html/product_optimization_suite.html> web pages
include relevant papers

Imperial College Logic Programming Section
<http://www-lp.doc.ic.ac.uk:80/_lp/> publications ftp site

JAIR <http://www.cs.washington.edu/research/jair/home.html> (Journal of
AI Research home page)

LIA <ftp://liasun3.epfl.ch/> papers and reports (Lausanne)

Logic Programming <http://www.comlab.ox.ac.uk/archive/logic-prog.html>
(Jonathan Bowen, Oxford University)

NASA Ames Research Center
<http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/> various papers

Ohio State CLP tech reports
<http://www.cis.ohio-state.edu/~spiro/clp.html> (Spiro Michaylov)

Overview of CSP tools
<http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> (Tim Duncan)

Phase Transition
<ftp://parcftp.xerox.com/pub/dynamics/constraints.html> in CSPs (Tad
Hogg)

Phase Transition Behaviour of Maintaining Arc Consistency
<ftp://agora.leeds.ac.uk/scs/doc/reports/1995/> by Stuart
Grant and Barbara Smith

SICS ISL <http://www.sics.se/isl/> Intelligent Systems Laboratory at
SICS

Toronto OR <ftp://fmgmt.mgmt.utoronto.ca>: papers from the Laboratory
of Manufacturing Research

University of Washington ftp archive
<ftp://ftp.cs.washington.edu/pub/constraints> (Alan Borning etc.) ---
also WWW <http://www.cs.washington.edu/research/constraints>

Xerox PARC ftp archive <ftp://parcftp.xerox.com/pub/ccp>