Sciweavers

Share
AUSAI
2006
Springer

Finite Domain Bounds Consistency Revisited

9 years 6 months ago
Finite Domain Bounds Consistency Revisited
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.
Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where AUSAI
Authors Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey
Comments (0)
books