Recombination Operators for Satisfiability Problems.

Frédéric Lardeux Frédéric Saubion Jin-Kao Hao

Published in: Artificial Evolution (2003)

Keyphrases

satisfiability problem
np complete
temporal logic
search algorithm
phase transition
pspace complete
solving hard
mazurkiewicz traces
stochastic local search algorithms
stochastic local search
sat problem
building blocks
sat instances
max sat
davis putnam
finite domain
genetic algorithm