swMATH ID: 28625
Software Authors: Junker, U.
Description: QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user of an interactive application, however, desires explanations and relaxations containing the most important constraints. To address this need, we define preferred explanations and relaxations based on user preferences between constraints and we compute them by a generic method which works for arbitrary CP, SAT, or DL solvers. We significantly accelerate the basic method by a divide-and-conquer strategy and thus provide the technological basis for the explanation facility of a principal industrial constraint programming tool, which is, for example, used in numerous configuration applications.
Homepage: https://dl.acm.org/citation.cfm?id=1597177
Related Software: MiniSat; PicoSAT; Glucose; AMUSE; ELK; Pellet; shap; GitHub; MaxHS; Clingo; MiniZinc; EL2MCS; MiniMaxSat; MUSer2; Ltur; MERGEXPLAIN; OntoDebug; Protege; HermiT; ORL
Cited in: 31 Documents

Citations by Year