Khaled Ghedira

Constraint Satisfaction Problems. CSP Formalisms and Techniques