Sign in
FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers.
Mona Safar
M. Watheq El-Kharashi
Ashraf Salem
Published in:
CHARME (2005)
Keyphrases
</>
sat solvers
propositional satisfiability
sat solving
sat problem
orders of magnitude
max sat
constraint satisfaction
search space
search tree
sat instances
boolean satisfiability
special case