Statistical GNSS carrier phase ambiguity resolution: a review | IEEE Conference Publication | IEEE Xplore