Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for Optimization

Mohsen Nafar, Michael Römer. Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for Optimization. In Bistra Dilkina, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II. Volume 14743 of Lecture Notes in Computer Science, pages 74-82, Springer, 2024. [doi]

Abstract

Abstract is missing.