We manage the risk of change. Clearly the product of much work. Constraints as a general computational technique allow declaring a set of relationships between entities. A constraint satisfaction system is employed to automatically ensure that the relationships hold under changing conditions. We propose a new way to form virtual worlds based on geometric modeling constraints and higher-level modeling abstractions.
Constraints can be requirements or preferences.
Client code specifies constraints to maintain, and the solver updates constrained variables to have values that satisfy the constraints. November 26 - December 1, Paphos, Cyprus. Final appearance of page comes from negotiation between author and viewer, via solving all the constraints. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.