Chu Min Li Wen Qi Huang Diversification and Determinism in Local Search for Satisfiability. 158-172 2005 conf/sat/2005 SAT http://dx.doi.org/10.1007/11499107_12 db/conf/sat/sat2005.html#LiH05