arXiv 2001.01835
Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof
By Patrick Rodler
Published 2020-01-07
Mindmap
Browse the paper's core ideas, clusters, and relationships in a structured outline.
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…