Relaxations for probabilistically constrained programs with discrete random variables · Study