TY - RPRT TI - Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems AU - M. H. van Emden AU - B. Moa PY - 2004 UR - https://arxiv.org/abs/cs/0404034 ID - cs/0404034 ER -