Decision Diagrams for Optimization - David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker (Springer, 2016)