An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets