Christian Schulte, Peter J. Stuckey. When Do Bounds and Domain Propagation Lead to the Same Search Space?. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 115-126, ACM, 2001.
Abstract is missing.