Description: 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.
To Search:
File list (Check if you may need any files):
3SAT(SA).cpp
Download