搜索结果

找到约 3 项符合 3SAT 的查询结果

数值算法/人工智能  著名的3SAT问题用蒙特卡罗算法实现的！

著名的3SAT问题用蒙特卡罗算法实现的！

https://www.eeworm.com/dl/518/121698.html

下载: 197

查看: 1074

人工智能/神经网络  用模拟退火方法解决3SAT问题

用模拟退火方法解决3SAT问题，里面的3sat.c就是源程序

https://www.eeworm.com/dl/650/313004.html

下载: 81

查看: 1036

其他书籍  1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT

1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT

https://www.eeworm.com/dl/542/318565.html

下载: 59

查看: 1308