Generalized_semi-infinite_programming