Wenqi Huang Defu Zhang Wang Houxiang An Algorithm Based on Tabu Search for Satisfiability Problem. 340-346 2002 17 J. Comput. Sci. Technol. 3 http://jcst.ict.ac.cn/cone/cone23.html#paper10 db/journals/jcst/jcst17.html#HuangZH02