M. Nafar and M. Römer, “Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization”, AAAI, vol. 38, no. 8, pp. 8082-8089, Mar. 2024.