文件名称:3SAT(SA)
介绍说明--下载内容均来自于网络,请自行研究使用
使用模拟退火算法(SA)解决3-SAT问题,程序中有详细注释,采用文件方式输入输出,数据规模可在程序中修改。-Using simulated annealing algorithm (SA) to solve the 3-SAT problem, the program has detailed notes, the use of input and output files, data scale can be modified in the program.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
3SAT(SA).cpp