Dynamic constraint propagation with continuous variables

Abstract

Traditional techniques for constraint satisfaction assume that the set of constraints is independent of the results of the propagation process. In many practical problems, especially in automated design, applicability of constraints depends upon assumptions about parameter values, resulting in a dynamic constraint satisfaction problem...