Towards Bound Consistency for the No-Overlap Constraint Using MDDs. - Amaury Guichard; Laurent Michel; Hélène Verhaeghe; Pierre Schaus (CoRR, 2026)