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.
No references recorded for this publication.
No citations of this publication recorded.