SAT问题求解

【文件属性】：
文件名称：SAT问题求解
文件大小：10KB
文件格式：RAR
更新时间：2014-10-06 04:35:34
sat sat problem 模拟退火算法接近Sat问题

【文件预览】：
www.pudn.com.txt
mycode
----Debug()
----3sat.c(4KB)
----3sat.opt(48KB)
----新建文件夹()
--------Text2.dsp(3KB)
--------Debug()
--------Text2.dsw(535B)
--------Text2.ncb(33KB)
--------Text2.plg(244B)
--------Text2.opt(48KB)
--------Text2.txt(413B)
----3sat.plg(242B)
----3sat.dsp(3KB)
----3sat.ncb(41KB)
----3sat.dsw(533B)