Youssef Hamadi, Lakhdar Sais Handbook of Parallel Constraint Reasoning - 1st ed. 2018 - Springer International Publishing 2018 ISBN: 978-3-319-63516-3