3 Publikationen
-
2024 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2990121Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for OptimizationPUB | DOI | WoS
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. -
2024 | Konferenzbeitrag | PUB-ID: 2992165Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge HeuristicsPUB | DOI | Download (ext.)
Nafar M, Römer M (2024)
In: Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Shaw P (Ed); Leibniz International Proceedings in Informatics (LIPIcs), 307. Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik: 21:1-21:17.