Adaptive Smoothing with Ambiguity Fixation for GNSS Post-Processing