A non-linear binary integer programming model for location area partitioning in cellular radio networks | IEEE Conference Publication | IEEE Xplore