Skip to Main content Skip to Navigation
Conference papers

To Be or not To Be.. a Global Constraint

Christian Bessière 1 Pascal van Hentenryck 2
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Constraint propagation is widely recognized as a fundamental reasoning component in constraint programming. In the last decade, the concept of "global constraint" has attracted significant attention, since it is critical to achieve reasonable pruning, and efficiency, in many applications. However, even if the name "global constraint" carries a strong intuition in itself, there is no formal definition of this important concept. This paper proposes various notions of globality in order to understand this concept more thoroughly.
Document type :
Conference papers
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269643
Contributor : Christine Carvalho de Matos <>
Submitted on : Friday, September 20, 2019 - 10:09:22 AM
Last modification on : Thursday, May 14, 2020 - 6:58:06 PM

File

Bessiere-2003-NBG.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Christian Bessière, Pascal van Hentenryck. To Be or not To Be.. a Global Constraint. CP: Principles and Practice of Constraint Programming, Sep 2003, Kinsale, Ireland. pp.789-794, ⟨10.1007/978-3-540-45193-8_54⟩. ⟨lirmm-00269643⟩

Share

Metrics

Record views

133

Files downloads

89