We show how the constraint propagation process can be naturally explained by means of chaotic iteration.

Specifying and Verifying and Reasoning about Programs (acm F.3.1), Automatic Programming (acm I.2.2)
Specification and verification (program logics, model checking, etc.) (msc 68Q60), Software (msc 68Nxx)
Logistics (theme 3)
CWI
CWI. Probability, Networks and Algorithms [PNA]
Networks and Optimization

Apt, K.R. (1997). From chaotic iteration to constraint propagation. CWI. Probability, Networks and Algorithms [PNA]. CWI.