A Convex Optimization Approach to Satellite Selection for Global Navigation Satellite System (GNSS) Receivers | IEEE Conference Publication | IEEE Xplore