Book

Handbook of Parallel Constraint Reasoning

by Youssef Hamadi, Lakhdar Sais