Operations research techniques in constraint programming by