Rebecca Gentzel

According to our database, Rebecca Gentzel authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Optimization Bounds from Decision Diagrams in Haddock.

Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

Heuristics for MDD Propagation in HADDOCK.

Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2020

HADDOCK: A Language and Architecture for Decision Diagram Compilation.

Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve

Proceedings of the Principles and Practice of Constraint Programming, 2020