Reconfigurable Hardware SAT Solvers: A Survey of Systems.

Iouliia Skliarova António de Brito Ferrari

Published in: FPL (2003)

Keyphrases

sat solvers
lower bound
computing systems
max sat
neural network
optimal solution
data structure
search space
computer systems
search strategies
efficient implementation
propositional satisfiability