Sign in

FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers.

Mona SafarM. Watheq El-KharashiAshraf 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