Handbook of Parallel Constraint Reasoning - Youssef Hamadi, Lakhdar Sais (Springer International Publishing, 2018)