@Article{SchulteStuckey:TOPLAS:2005,
Author = "Christian Schulte and Peter J. Stuckey",
Title = "When Do Bounds and Domain Propagation Lead to the Same Search Space?",
Journal = "Transactions on Programming Languages and Systems",
Year = 2005,
Month = may,
Publisher = "ACM Press",
Volume = "27",
Number = "3",
Pages = "388--425",
DOI = "10.1145/1065887.1065889",
URL = "https://chschulte.github.io/papers/schultestuckey-toplas-2005.html"
}