Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems

M. H. van Emden

Box consistency has been observed to yield exponentially better performance than chaotic constraint propagation in the interval constraint system obtained by decomposing the origin…