Integer carrier phase ambiguity resolution is the process of resolving unknown cycle ambiguities of doubledifferenced carrier phase data as integers, and it is a prerequisite for rapid and high-precision global navigation satellite system positioning and navigation. Besides integer estimation, integer ambiguity resolution also involves validation of the integer estimates. In this contribution a...