Csp Constraint Satisfaction Problems by Khaled Ghedira