Description: Using simulated annealing method to solve the problem 3Sat, which is the source of 3sat.c
- [sp-1.4] - Artificial Intelligence an important met
- [RotatingPlane] - Spinning plane
- [apriori] - Data Mining realize the classic Apriori
- [sat] - satisfiability problem(SAT) MPI,NP PROBL
File list (Check if you may need any files):