Decision diagrams for optimization (2016)