Implementing CSAT Local Search on FPGAs.

Martin Henz Edgar Tan Roland H. C. Yap

Published in: FPL (2002)

Keyphrases

search algorithm
search space
global search
genetic algorithm
tabu search
simulated annealing
hardware software
learning algorithm
neural network
lower bound
website
search engine
particle swarm optimization
metaheuristic
heuristic search
hill climbing
neighborhood search
data sets