ISSATA: An algorithm for solving the 3-satisfiability problem based on improved strategy.

Ping Guo Yang Zhang

Published in: Appl. Intell. (2022)

Keyphrases

satisfiability problem
objective function
dynamic programming
optimal solution
np hard
combinatorial optimization
search strategy
stochastic local search
computational complexity
search space
data model
simulated annealing
optimization problems
randomly generated
stochastic local search algorithms