Decomposition algorithms for two-stage chance-constrained programs · Study