著名的3SAT问题 用蒙特卡罗算法实现的！
标签： 3SAT 蒙特卡罗 算法
上传时间： 2013-12-21
上传用户：Zxcvbnm
用模拟退火方法解决3SAT问题，里面的3SAT.c就是源程序
标签： 3SAT 模拟退火
上传时间： 2016-06-26
上传用户：亚亚娟娟123
1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT
标签： 1971 Cook 3SAT NPC
上传时间： 2016-07-09
上传用户：dave520l
