Constraints in the SW AND Constraint Satisfaction Problem
Common descendants