Global optimization problems and domain reduction strategies