Handbook of constraint programming | lit.salon