13. A device to perform ambiguity resolution in a global navigation satellite system, comprising: a receiver configured to receive satellite carrier signals; one or more processors; and memory storing one or more programs configured for execution by the one or more processors, the one or more programs for resolving ambiguities associated with carrier phase measurements of at least some of the carrier signals received from satellites in an identified set of satellites, the one or more programs including: instructions for identifying a set of ambiguities associated with the carrier phase measurements; instructions for 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; instructions for determining that the best candidate set of integer ambiguity values fail to meet a discrimination test with respect to the second best candidate set, and upon such determination, 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; instructions for performing operations to resolve the integer ambiguities in the reduced set of ambiguities; and instructions for generating a result in accordance with the resolved integer ambiguities in the reduced set of ambiguities.
22. The device of claim 13 , wherein the instructions for performing operations to resolve ambiguities in the reduced set of ambiguities include: instructions for estimating integer ambiguities in the reduced set of ambiguities, including determining a best candidate set and a second best candidate set of integer ambiguity values for each of the integer ambiguities in the reduced set of ambiguities; instructions for determining whether the best candidate set of integer ambiguity values for the reduced set of ambiguities meets the discrimination test with respect to the second best candidate set of integer ambiguity values for the reduced set of ambiguities, and if the discrimination test is met, generating a set of result values; and instructions, the execution of which are enabled if the best candidate set of integer ambiguity values for the reduced set of ambiguities fails to meet the discrimination test, for: removing from the reduced set of ambiguities each ambiguity for which integer ambiguity values in the best candidate set and second best candidate set of integer ambiguity values for the reduced set of ambiguities fail to meet the predefined criteria to produce a second reduced set of ambiguities; performing operations to resolve the integer ambiguities in the second reduced set of ambiguities; and generating the output in accordance with a result of the operations performed to resolve the integer ambiguities in the second reduced set of ambiguities.