Provider phase ambiguity resolution is the vital to precise positioning with an international navigation satellite system (GNSS); consequently, quite a few obscurity resolution approaches have been developed in the past 20 years. In this paper, a new ambiguity looking algorithm by treating part of regular formulas as restrictions is created. The process starts with the truncation of the terms regard the small eigenvalues from the regular equations of a least-squares estimation problem. The remaining typical equations are employed as the restriction equations for the efficient looking of integer ambiguities. In the case of short single baseline fast GNSS positioning with dual differenced phase dimensions, there are only three genuine criteria of the position to be estimated. For that reason 3 regards to the typical formulas should be truncated off as a result of that there is a large difference between the last three eigenvalues of the regular matrix of the float solution and also the others, then the remaining vagueness could be trivially resolved with 3 independent ambiguities using the staying typical equations. Because of this, simply 3 independent obscurities are always searched and the looking performance is substantially boosted. Additionally, a brand-new indicator of lessening the conditional variety of the subsquare matrix of the staying typical formulas is introduced to select three independent vagueness. Once the right integer worths of the selected 3 independent obscurities are put on address the remaining obscurities, the approximated real-valued options are extremely near to their integers, which could be applied as extra solid constraints to further improve the searching rating. Ultimately, 2 case studies, from actual dual-frequency global positioning system (GPS) information of regarding 10-km standard as well as arbitrary simulations, respectively, are carried out to show the efficiency of the new formula. The outcomes reveal that the new algorithm is effective, particularly for the circumstances of high-dimensional vagueness specifications.