HADDOCK: A Language and Architecture for Decision Diagram Compilation. - Rebecca Gentzel; Laurent Michel; Willem Jan van Hoeve (CP, 2020)

Heuristics for MDD Propagation in HADDOCK. - Rebecca Gentzel; Laurent Michel; Willem-Jan van Hoeve (CP, 2022)

Optimization Bounds from Decision Diagrams in Haddock. - Rebecca Gentzel; Laurent Michel; Willem-Jan van Hoeve (CPAIOR, 2023)