Arc-consistency for continuous variables

摘要

Davis [1] has investigated the properties of the Waltz propagation algorithm with interval labels in continuous domains. He shows that in most cases the algorithm does not achieve arc-consistency and furthermore is subject to infinite iterations.