Handbook of Parallel Constraint Reasoning - Hamadi, Youssef. (Springer International Publishing,)