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