A novel conflict directed jumping algorithm for hardware-based SAT solvers.

Mona Safar Mohamed Shalan M. Watheq El-Kharashi Ashraf Salem

Published in: IDT (2010)

Keyphrases

sat solvers
dynamic programming
propositional satisfiability
objective function
computational complexity
particle swarm optimization
search space
orders of magnitude
conflict directed
search strategy
space complexity