Youssef Hamadi, Lakhdar Sais

Handbook of Parallel Constraint Reasoning - 1st ed. 2018 - Springer International Publishing 2018

978-3-319-63516-3