When Do Bounds and Domain Propagation Lead to the Same Search Space?

This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bounds propagators for primitive constraints, and provide theorems that allow us to determine propagation behaviours for conjunctions of constraints. We then show how we can use this to analyse CLP(FD) programs to determine when we can safely replace domain propagators by more efficient bounds propagators without increasing search space. Keywords Constraint (logic) programming, finite domain constraints, bounds propagation, domain propagation, abstract interpretation, program analysis

• Type: Conference
• Year: 2001
• Where: PPDP
• Authors: Christian Schulte, Peter J. Stuckey
• Keywords: Bounds Propagators, Efficient Bounds Propagators, PPDP 2001, Programming Languages, Search Space