SMS: Handbook of constraint programming