The Voice of the Flow: A Graph-Based Approach for Step-Wise Explanations of Constraint Satisfaction Problems
A novel framework leveraging Multi-Valued Decision Diagrams to overcome bottlenecks in constraint propagation, and utilizes the MDD’s network-flow structure to generate nested explanations that break down complex derivation steps into granular, arc-level details, revealing specifically how variable-value assignments become infeasible.