Handbook of Parallel Constraint Reasoning,Youssef Hamadi · Lakhdar Sais Editors, 2018