Introduction

Archive-name: constraints-faq/part1
Last-Modified: Fri Feb 23 10:15:00 1996 by Michael Jampel
Version: 1.83

[Version 1.82 was dated February 1995 when of course it should have been
Feb 1996. MBJ]

Important Changes (since last posting): <minor change Rueher reference>,
Constraints journal now has a web page.

Contributions and corrections should be sent to Michael Jampel
<jampel@cs.city.ac.uk>.

This is a list of Frequently Asked Questions (and answers) for the area
of constraints, including books, journal articles, ftp archives, and
systems & products. It is posted once a month to the newsgroups
comp.constraints, comp.answers, and news.answers.

NOTE: the WWW page associated with this FAQ now contains far more
information than the FAQ does, including meta-information, i.e. pointers
to other WWW pages and ftp sites. I strongly suggest you have a look at it:
	http://web.cs.city.ac.uk/archive/constraints/constraints.html

People who helped with this FAQ include Philippe Blache
<pb@llaor.unice.fr>, Mark Kantrowitz <mkant@cs.cmu.edu>, Wm Leler
<wm@ithaca.com>, Manfred Meyer <meyer@dfki.uni-kl.de>, Milind Tambe
<tambe@isi.edu>, Thomas Schiex <schiex@cert.fr>, and Tad Hogg
<hogg@parc.xerox.com>.

Thanks to Mark Kantrowitz for allowing me to use large parts of his
FAQs and Resource Guides for comp.lang.prolog and comp.ai.

----------------------------------------------------------------
Table of Contents:
 [1-1]  Introduction
 [1-2]  Definitions, scope of the word `constraint'
 [1-3]  Sources of information about constraints
 [1-4]  Constraints-related Mailing Lists and Journals
 [1-5]  FTP Archives, WWW Pages, and Other Resources
 [1-6]  Books and Journal Articles
 [1-7]  Reviews and Surveys of Constraint Systems
 [1-8]  Complexity of Constraint Satisfaction (including Phase Transition)
 [1-9]  Benchmarks for Constraint Satisfaction Problems
 [1-10] Constraints for Natural Language Processing
 [1-11] N-Ary CSPs (N > 2)
 [1-12] Constraint Libraries for C and LISP programs
 [1-13] Constraints and Rule-Based (Production) Systems
 [1-14] Interval Constraints and Newton's Approximation
 [1-15] Dynamic CSPs (Constraint Satisfaction Problems)
 [1-16] Glossary: definitions of some terms
 [1-17] Explanation of value ordering heuristics
 [1-18] Explanation of constraint entailment
 [1-19] Explanation of Don't Know / Don't Care nondeterminism
 [1-20] Survey of CLP with Non-Linear Constraints (architectures)
 [1-21] TOC: The management "Theory of Constraints"
 [1-22] Global, specific, structural, continuous & symbolic constraints
 [1-23] CLP(R) and analog circuit diagnosis
 [1-24] Constraint Abstraction

In the second part of this FAQ:
 [2-1]  Introduction (same as in part1)
 [2-2]  Introduction to Systems for Non-Linear Constraints
 [2-3]  Free and Commercial Constraint Systems

Search for [#] to get to topic number # quickly. In newsreaders which
support digests (such as rn), [CTRL]-G will page through the answers.

Go To Next