An improvement of the algorithm of Hertli for the unique 3SAT problem.

Tong Qin Osamu Watanabe

Published in: Electron. Colloquium Comput. Complex. (2017)

Keyphrases

cost function
computational complexity
dynamic programming
search space
special case
randomly generated
learning algorithm
objective function
optimal solution
probabilistic model
particle swarm optimization