By converting complex two-stage problems into dynamic programming sub-problems, researchers have leveraged binary decision diagrams to generate strong Benders inequalities, which in turn enhance ...