搜索资源列表
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.