Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof

Open in new window