2 Publikationen
-
2024 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2990121Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for OptimizationPUB | DOI
Nafar M, Römer M (2024)
In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research. 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part II. Dilkina B (Ed); Lecture Notes in Computer Science, 14743. Cham: Springer Nature : 74-82. -
2024 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2988586Using Clustering to Strengthen Decision Diagram Bounds for Discrete OptimizationPUB | DOI
Nafar M, Römer M (2024)
Proceedings of the AAAI Conference on Artificial Intelligence 38(8): 8082-8089.