Sign in
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem.
Huimin Fu
Shaowei Cai
Guanfeng Wu
Jun Liu
Xin Yang
Yang Xu
Published in:
Inf. Sci. (2024)
Keyphrases
</>
satisfiability problem
stochastic local search algorithms
np complete
probabilistic model
np hard
dynamic programming
randomly generated
computational complexity
simulated annealing
optimal solution
search algorithm
search space
linear programming