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