An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets

Alexander Felfernig, Monika Schubert, Christoph Zehentner

Constraint sets can become inconsistent in different contexts. For example, during a configuration session the set of customer requirements can become inconsistent with the configu…