The use of carrier phase data is the main driver for high-precision Global Navigation Satellite Systems (GNSS) positioning solutions, such as Real-Time Kinematic (RTK). However, observations are ambiguous by an unknown number cycles, and their in RTK relies on process mapping real-valued ambiguities to integer ones, so-called Integer Ambiguity Resolution (IAR). goal IAR enhance position solutio...