Nafar, M.; Römer, M. Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization. AAAI 2024, 38, 8082-8089.