A method for performing integer ambiguity resolution in a global navigation satellite system is disclosed. A set of ambiguities, which are associated with carrier phase measurements of at least some of the signals received from the satellites in an identified set of satellites, are identified. Integer ambiguities are estimated and a best candidate set and a second best candidate set of integer ambiguity values are determined. Upon determining that the best set of integer ambiguity values fail to meet a discrimination test, each ambiguity for which integer ambiguity values in the best candidate set and second best candidate set fail to meet predefined criteria are removed from the set of ambiguities to produce a reduced set of ambiguities. The integer ambiguities in the reduced set of ambiguities are then resolved and an output is generated in accordance with the resolved integer ambiguities.