A Dynamic Phase Selection Strategy for Satisfiability Solvers

Published in: CoRR (2012)

Keyphrases

selection strategy
selection strategies
genetic algorithm
neural network
machine learning
image processing
training data
search space
dynamic environments
heuristic search
cauchy mutation