Handbook of constraint programming. (2006)