A fast SAT solver algorithm best suited to reconfigurable hardware.

Romanelli Lodron Zuim José T. de Sousa Claudionor José Nunes Coelho Jr.

Published in: SBCCI (2006)

Keyphrases

learning algorithm
optimal solution
computational complexity
sat solvers
search space
dynamic programming
low cost
search strategy
propositional satisfiability
sat problem
search strategies
np hard
particle swarm optimization
hardware implementation
randomly generated
parallel implementation
simulated annealing