local search of SAT problem
Pseodocode:
1.Input: CNF Formula
2.Initial solution (different ways)
3.probalistische local search
4.stochastic tabu search
5. simulated annelling (reverse)
todo:
1.local randome generator
2 simplified parameterparser (give the parameters directly in the header file)
3.more initialization and random assignment
4.flexible lookuptable
5.tabu things
doing:make sure the local search is the original testing one in may References (probSat)