1. A method for performing integer ambiguity resolution in a global navigation satellite system, comprising: identifying a set of satellites from which 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 ambiguities in the set of ambiguities; upon determining that the best set of integer ambiguity values fails to meet a discrimination test, 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.