Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm.

Sabrine Saouli Souheib Baarir Claude Dutheillet

Published in: NFM (2024)

Keyphrases

sat solving
genetic algorithm
sat solvers
boolean satisfiability
fitness function
sat problem
metaheuristic
multi objective
boolean optimization
tabu search
genetic algorithm ga
search tree
simulated annealing
symmetry breaking
information retrieval
orders of magnitude
evolutionary algorithm