Efficiency of Local Search.

Andrei A. Bulatov Evgeny S. Skvortsov

Published in: SAT (2006)

Keyphrases

search algorithm
genetic algorithm
neural network
decision trees
memetic algorithm
image sequences
multiscale
optimal solution
computational complexity
heuristic search
computational efficiency
search strategies
search procedure
global search
systematic search