An Improvement of the Biased-PPSZ Algorithm for the 3SAT Problem.

Tong Qin Osamu Watanabe

Published in: IEICE Trans. Inf. Syst. (2022)

Keyphrases

computational complexity
np hard
dynamic programming
learning algorithm
objective function
randomly generated
optimal solution
search space
upper bound
simulated annealing
combinatorial optimization
graph coloring