Towards Bound Consistency for the No-Overlap Constraint Using MDDs | ScienceToStartup | ScienceToStartup