Login / Signup

Reconfigurable Hardware SAT Solvers: A Survey of Systems.

Iouliia SkliarovaAntónio de Brito Ferrari
Published in: IEEE Trans. Computers (2004)
Keyphrases
  • sat solvers
  • machine learning
  • sat problem
  • weighted max sat
  • neural network
  • computer systems
  • max sat
  • propositional satisfiability
  • reconfigurable hardware