Efficient Explanations for Inconsistent Constraint Sets

Constraint sets can become inconsistent in different contexts. We are interested in identifying minimal sets of constraints that have to be adapted or deleted in order to restore consistency. In this paper we sketch a highly efficient divide-and-conquer based diagnosis approach which identifies minimal sets of faulty constraints in a given over-constrained problem. This approach is specifically applicable in scenarios where the efficient identification of leading (preferred) diagnoses is crucial.