Sign in

Designing an Efficient Hardware Implication Accelerator for SAT Solving.

John D. DavisZhangxi TanFang YuLintao 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