Mixed integer semi-in(cid:12)nite programming problem