Constraint satisfaction problemو Constraint propagation