D. Liang W. Li Multi-strategy Local Search for SAT Problem. 234-238 1998 ECAI db/conf/ecai/ecai98.html#LiangL98