An improvement of the algorithm of Hertli for the unique 3SAT problem.
Tong QinOsamu WatanabePublished in: Theor. Comput. Sci. (2020)
Keyphrases
- dynamic programming
- learning algorithm
- search space
- particle swarm optimization
- computational complexity
- np hard
- probabilistic model
- stochastic local search
- simulated annealing
- davis putnam
- sat solving
- sat problem
- randomly generated
- search strategy
- heuristic search
- np complete
- scheduling problem
- state space
- optimal solution