Sign in
Designing an Efficient Hardware Implication Accelerator for SAT Solving.
John D. Davis
Zhangxi Tan
Fang Yu
Lintao Zhang
Published in:
SAT (2008)
Keyphrases
</>
sat solving
sat solvers
field programmable gate array
boolean satisfiability
sat problem
search tree
learning algorithm
search space
test collection
branch and bound algorithm
temporal logic