Relieving capacity limits on FPGA-based SAT-solvers.

Leopold Haller Satnam Singh

Published in: FMCAD (2010)

Keyphrases

sat solvers
orders of magnitude
sat problem
constraint satisfaction
max sat
sat solving
propositional satisfiability
search strategies
search tree
sat instances
boolean satisfiability
search space
sat encodings
clause learning sat solvers
boolean formula
clause learning
weighted max sat
search strategy