Constraint Satisfaction Problems: Ghédira/Constraint Satisfaction Problems