arXiv 2001.01835
Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof
By Patrick Rodler
Published 2020-01-07
Wiki summary
Explore the paper's summary, context, and related research on Papiers.
In his seminal paper of 2004, Ulrich Junker proposed the QuickXPlain algorithm, which provides a divide-and-conquer computation strategy to find within a given set an irreducible subset with a particular (monotone) property. Beside its original application in the domain of constraint satisfaction problems, the algorithm has since then found widespread adoption in areas as different as model-based diagnosis, recommen…