@conferenceObjectPart{SchulteStuckey_2001,
title={When do bounds and domain propagation lead to the same search space},
author={Schulte, Christian and Stuckey, Peter J.},
doi={http://dx.doi.org/10.22028/D291-25783},
year={2001}
}