Sign in
The experimental analysis of the efficiency of genetic algorithm based on 3-satisfiability problem.
Yu-an Zhang
Bingfen Li
Qiao Meng
Qiongqiong Hu
Qinglian Ma
Published in:
ICNC (2015)
Keyphrases
</>
satisfiability problem
np complete
temporal logic
search algorithm
sat problem
phase transition
stochastic local search algorithms
solving hard
heuristic search
max sat
pspace complete
computational complexity
sat instances
decision procedures