Römer, Michael

1 publications

AAAI 2024 Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization Mohsen Nafar, Michael Römer