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

@inproceedings{Schulte2001WhenDB,
  title={When Do Bounds and Domain Propagation Lead to the Same Search Space?},
  author={Christian Schulte and Peter J. Stuckey},
  booktitle={PPDP},
  year={2001}
}
This paper explores the question of when two propagation-based 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… CONTINUE READING
Highly Cited
This paper has 61 citations. REVIEW CITATIONS

4 Figures & Tables

Topics

Statistics

0510'03'05'07'09'11'13'15'17
Citations per Year

61 Citations

Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.