«Constraint Satisfaction Problems», Khaled Ghedira oxşar kitablar