A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering