求解SAT问题的局部搜索算法及其平均时间复杂性分析

2年前 (2023)发布 aixure
35 0 0
导读: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期

赞助本站

© 版权声明

相关文章

暂无评论

暂无评论...