An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem.
Tong QinOsamu WatanabePublished in: WALCOM (2018)
Keyphrases
- cost function
- randomly generated
- learning algorithm
- computational complexity
- search space
- dynamic programming
- objective function
- probabilistic model
- np hard
- optimal solution
- optimization problems
- orders of magnitude
- combinatorial optimization
- search algorithm
- linear programming
- particle swarm optimization
- cellular automata
- propositional satisfiability