Multiplatform Instantaneous GNSS Ambiguity Resolution for Triple- and Quadruple-Antenna Configurations with Constraints