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