Decision Diagrams for Optimization
David Bergman & Andre A. Cire & Willem-Jan van Hoeve & John Hooker