Handbook of constraint programming (Elsevier, 2006)