Vianney Coppé

Ddo, a Generic and Efficient Framework for MDD-Based Optimization

This paper presents ddo, a generic and efficient library to solve constraint optimization problems with decision diagrams. To that end, our framework implements the branch-and-bound approach which has recently been introduced by Bergman et al., (2016) to solve dynamic programs to optimality. Our lib…