Solving Satisfiability Problems by the Ground-State Quantum Computer - Wenjin Mao (CoRR, 2005)