Essentials of constraint programming - Frühwirth, Thom, 1962- (Springer, 2003)