5. The method of claim 1 , wherein the best candidate set and second best candidate set each include, for each ambiguity in the set of ambiguities, an integer ambiguity value for a respective carrier signal.
1. A method for performing integer ambiguity resolution in a global navigation satellite system, comprising: identifying a set of satellites from which carrier signals are received; identifying a set of ambiguities associated with carrier phase measurements of at least some of the signals received from the satellites in the identified set of satellites; estimating integer ambiguities in the set of ambiguities, including determining a best candidate set and a second best candidate set of integer ambiguity values for each of the ambiguities in the set of ambiguities; upon determining that the best candidate set of integer ambiguity values fails to meet a discrimination test with respect to the second best candidate set, removing from the set of ambiguities each ambiguity for which integer ambiguity values in the best candidate set and second best candidate set fail to meet predefined criteria to produce a reduced set of ambiguities; performing operations to resolve the ambiguities in the reduced set of ambiguities; and generating an output in accordance with a result of the operations performed to resolve the ambiguities in the reduced set of ambiguities.