Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for Optimization
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.