Dynamic constraint propagation with continuous variables
Boi V. Faltings, Djamila Haroud, Ian F. C. Smith · 1992
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...