Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT.

Artem Pavlenko Alexander A. Semenov

Published in: CEC (2024)

Keyphrases

search algorithm
evolutionary strategy
search strategies
satisfiability problem
sat solvers
search space
evolutionary algorithm
parallel genetic algorithms
search procedure
constrained optimization
sat instances
simulated annealing
np complete
differential evolution
multi objective optimization
variable length