Building Structure into Local Search for SAT.

Duc Nghia Pham John Thornton Abdul Sattar

Published in: IJCAI (2007)

Keyphrases

search algorithm
hierarchical structure
structural information
stochastic local search
genetic algorithm
search strategies
satisfiability problem
propositional satisfiability
search space
convergence speed
graph structure
memetic algorithm
stochastic local search algorithms