An Algorithm Based on Tabu Search for Satisfiability Problem. - Wenqi Huang 001; Defu Zhang; Wang Houxiang (J. Comput. Sci. Technol., 2002)