A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers.

Published in: TAMC (2014)

Keyphrases

selection strategy
selection strategies
selection algorithm
bit wise
genetic algorithm
binary representation
neural network
mutation operation
fitness function
cauchy mutation
information retrieval
image processing
pattern recognition
constraint satisfaction problems
clonal selection algorithm
bit string