Constraint_satisfaction_problem