A Reconfigurable Five-Stage Pipelined SAT Solver.

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

Published in: MTV (2009)

Keyphrases

sat solvers
sat solving
orders of magnitude
sat problem
constraint satisfaction
search strategies
boolean satisfiability
max sat
search space
propositional satisfiability
search tree
sat instances
unsatisfiable cores
data structure
np complete
constraint satisfaction problems