Re: Question: constraint terminology

From: micha@ecrc.de (Micha Meier)
Organization: European Computer-Industry Research Centre
Date: Tue, 4 Jul 1995 08:10:44 GMT

The term 'global constraints' has been used in CHIP to actually denote
constraints that subsume a set of other constraints. It does not
necessarily mean that complete global consistency is being achieved,
but just the fact that more consistency is being achieved than by
considering each constraint in this set separately. This concerns
mainly finite domain constraints where global consistency is hard to
obtain. The term 'global constraints' is quite misleading, and it
should be replaced by something more appropriate like e.g. 'composite
constraints'.  Note that you can have several global constraints with
the same declarative reading, but with different algoritm being used
and thus different levels of consistency being achieved.

---
Micha Meier			------------------------------------------------
ECRC, Arabellastr. 17		The opinions expressed above are private
D-81925 Munich 81		and may not reflect those of my employer.
micha@ecrc.de, Tel. +49-89-92699-108, Fax  +49-89-92699-170

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

From: walter@wolf.uni-koblenz.de (Walter Hower)
Newsgroups: comp.constraints