2-sat问题课件

sat problem 模拟退火算法接近Sat问题

将SAT问题化为2-SAT子问题进行求解，算法效果比UnitWalk算法高效

里面包含了13组数据，来测试自己的速度，数据格式里面有解释。

非原创,仅供学习交流用。 2-sat不是NPC的！

有2-SAT图的介绍与解法，有详细的例题讲解。仙人掌图的判断方法与其3个性质，最后还附上模板。

sat2r06.pdf scsi如何转化成ATA的协议。

用WalkSat来求解布尔可满足性问题 java

SAT文件结构 文件头 1300 0 1 0 文件头 22 HOOPS-ACIS Part Viewer 14 ACIS 13.0.3 NT 24 Fri May 11 22:18:16 2007 1

一个比较著名的SAT求解器,具体参见 http://minisat.se/

这是关于蚁群算法的一个文档，