@InProceedings{SchulteStuckey:PPDP:2001,
Author = "Christian Schulte and Peter J. Stuckey",
Title = "When Do Bounds and Domain Propagation Lead to the Same Search Space",
Editor = "Harald Søndergaard",
Booktitle = "Third ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming",
Year = 2001,
Month = sep,
Address = "Florence, Italy",
Publisher = "ACM Press",
Pages = "115--126",
URL = "https://chschulte.github.io/papers/schultestuckey-ppdp-2001.html"
}