Christian Schulte, Peter J. Stuckey
When Do Bounds and Domain Propagation Lead to the Same Search Space?
PPDP, 2001.
@inproceedings{PPDP-2001-SchulteS,
author = "Christian Schulte and Peter J. Stuckey",
booktitle = "{Proceedings of the Third International Conference on Principles and Practice of Declarative Programming}",
isbn = "1-58113-388-X",
pages = "115--126",
publisher = "{ACM}",
title = "{When Do Bounds and Domain Propagation Lead to the Same Search Space?}",
year = 2001,
}