An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets

Open in new window