Sign in
Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment.
Huimin Fu
Wuyang Zhang
Guanfeng Wu
Yang Xu
Jun Liu
Published in:
Comput. Intell. (2021)
Keyphrases
</>
stochastic local search
satisfiability problem
solving hard
phase transition
max sat
sat problem
sat instances
randomly generated
combinatorial optimisation
sat solvers
random sat instances
search algorithm
evolutionary algorithm
reinforcement learning
tree search