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