Phase Selection Heuristics for Satisfiability Solvers

Published in: CoRR (2011)

Keyphrases

heuristic search
multi agent systems
selection strategy
real world
image segmentation
data structure
preprocessing
least squares
simulated annealing
fine tuning
selection mechanism
preprocessing phase