导读：SAT问题 局部搜索 回溯算法 平均时间复杂性...
1 刘涛，李国杰;[J];软件学报;1996年04期
2 胡光锐,吴硕,朱昕波;[J];上海交通大学学报;1996年07期
3 陈荣,孙吉贵,刘瑞胜;[J];吉林大学自然科学学报;1997年02期
4 刘涛，李国杰;[J];计算机学报;1997年01期
5 吴晔，马绍汉;[J];计算机学报;1997年03期
6 丁宇新,程虎;[J];计算机学报;1998年10期
7 贺思敏,张钹;[J];计算机学报;1998年S1期
8 梁东敏,吴晔,马绍汉;[J];计算机学报;1998年S1期
9 白硕,卜东波;[J];软件学报;1998年11期
10 许可,李未;[J];中国科学E辑;1999年04期
