A finite branch-and-bound algorithm for two-stage stochastic integer programs · Study