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