Skip to content

Author

H. Lau

We have 1 of 322 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference 2026

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.

M. Nguyen, Tien Mai, H. Lau · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.