Sign in
An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy.
Huimin Fu
Yang Xu
Guanfeng Wu
Xinran Ning
Published in:
ISKE (2017)
Keyphrases
</>
greedy strategy
sat problem
greedy algorithm
random walk
phase transition
satisfiability problem
boolean satisfiability
information retrieval
data structure