Optimizing ecosystem services of urban green spaces based on integer programming approach | IEEE Conference Publication | IEEE Xplore