From chaotic iteration to constraint propagation
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. Probability, Networks and Algorithms [PNA]|
|Organisation||Networks and Optimization|
Apt, K.R. (1997). From chaotic iteration to constraint propagation. CWI. Probability, Networks and Algorithms [PNA]. CWI.