Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve. Optimization Bounds from Decision Diagrams in Haddock. In André A. Ciré, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings. Volume 13884 of Lecture Notes in Computer Science, pages 150-166, Springer, 2023. [doi]
Abstract is missing.