US20220120916A1 - SYSTEM FOR DETERMINING HIGH-INTEGRITY NAVIGATION SOLUTIONS VIA OPTIMAL PARTIAL FIXING OF FLOATING-POINT INTEGER AMBIGUITIES