导读：SAT问题 局部搜索 概率...
【相似文献】
中国期刊全文数据库 前10条
1 刘涛，李国杰;[J];软件学报;1996年04期
2 刘涛，李国杰;[J];计算机学报;1997年01期
3 吴晔，马绍汉;[J];计算机学报;1997年03期
4 丁宇新,程虎;[J];计算机学报;1998年10期
5 贺思敏,张钹;[J];计算机学报;1998年S1期
6 梁东敏,吴晔,马绍汉;[J];计算机学报;1998年S1期
7 白硕,卜东波;[J];软件学报;1998年11期
8 许可,李未;[J];中国科学E辑;1999年04期
9 赵孝武,黄文奇;[J];华中理工大学学报;2000年11期
10 许可,李未;[J];计算机学报;2000年05期
中国重要会议论文全文数据库 前1条
1 吴学江;;[A];中国通信学会第五届学术年会论文集[C];2008年
中国博士学位论文全文数据库 前2条
1 赵孝武;[D];中国科学院软件研究所;2001年
2 刘静;[D];西安电子科技大学;2004年
