A new algorithm based on genetic algorithm is formulated. A set of constraint equation is used to get float ambiguity, then Integer Gauss transformation is used to reduce the correlativity of ambiguity, then integer ambiguity is searched in transformed space using genetic algorithm. Two mutation operators are used to avoid early convergence under the condition of small population size. Simulation shows the new algorithm is more robust and efficient compared with SGA.