Principles and Practice of Constraint Programming – CP 2010 - Cohen, David; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2010)