In satellite navigation, the key to high precision is to make use of the carrier-phase measurements. The periodicity of the carrier-phase, however, leads to integer ambiguities. Often, resolving the full set of ambiguities cannot be accomplished for a given reliability constraint. In that case, it can be useful to resolve a subset of ambiguities. The selection of the subset should be based not only on the stochastic system model but also on the actual measurements from the tracking loops.
