Abstract
A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagation is performed by propagators implementing a certain notion of consistency. Bounds consistency is the method of choice for building propagators for arithmetic constraints and several global constraints in the finite integer domain. However, there has been some confusion in the definition of bounds consistency and of bounds propagators. We clarify the differences among the three commonly used notions of bounds consistency in the literature. This serves as a reference for implementations of bounds propagators by defining (for the first time) the a priori behavior of bounds propagators on arbitrary constraints.
Original language | English |
---|---|
Title of host publication | AI 2006 |
Subtitle of host publication | Advances in Artificial Intelligence - 19th Australian Joint Conference on Artificial Intelligence, Proceedings |
Publisher | Springer |
Pages | 49-58 |
Number of pages | 10 |
ISBN (Print) | 9783540497875 |
DOIs | |
Publication status | Published - 1 Dec 2006 |
Externally published | Yes |
Event | 19th Australian Joint Conference onArtificial Intelligence, AI 2006 - Hobart, TAS, Australia Duration: 4 Dec 2006 → 8 Dec 2006 |
Conference
Conference | 19th Australian Joint Conference onArtificial Intelligence, AI 2006 |
---|---|
Country/Territory | Australia |
City | Hobart, TAS |
Period | 4/12/06 → 8/12/06 |