CS & Graphs: Operations
Constraints are propagated along edges that relate dependent objects, generally until each feature is assigned a single value.
Search may be required to propagate hypothetical constraints (guesses at values); these constraints will need to be undone when they lead to inconsistencies (the inability to assign some other feature a value given the guess).