1.Previous
3.Next

The interval domains that should be associated to the new intermediate variables are

:

:

:

Propagation

The principle of the interval propagation is to call all available atomic contractors until no more contraction could be observed.

As a result of the Knaster-Tarski theorem, the procedure always converges to intervals which enclose all feasible values for the variables. A formalization of the interval propagation can be made thanks

1.Previous
3.Next