A Genetic-Based Approach for Satisfiability Problems.

Published in: AISC (2002)

Keyphrases

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