An algorithm for 3-SAT problems.

Hiroshi Tsukimoto

Published in: CoRR (2016)

Keyphrases

learning algorithm
dynamic programming
randomly generated
computational complexity
search space
np hard
search strategy
reinforcement learning
heuristic search
sat problem
stochastic local search