Hardware based algorithm for conflict diagnosis in SAT solver.

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

Published in: AICCSA (2008)

Keyphrases

learning algorithm
computational complexity
np hard
simulated annealing
randomly generated
search engine
search space
combinatorial optimization
sat solvers
constraint solver