Global navigation satellite system ambiguity resolution with constraints from normal equations - Li, Bofeng; Shen, Y. (American Society of Civil Engineers, 2010)