Lakhdar Sais

• Handbook of Parallel Constraint Reasoning