Run-time performance optimization of an FPGA-based deduction engine for SAT solvers.
Andreas DandalisViktor K. PrasannaPublished in: ACM Trans. Design Autom. Electr. Syst. (2002)
Keyphrases
- sat solvers
- constraint satisfaction
- max sat
- orders of magnitude
- propositional satisfiability
- search strategies
- search tree
- sat instances
- boolean satisfiability
- optimization problems
- sat solving
- search space
- inference rules
- weighted max sat
- sat problem
- search algorithm
- evolutionary algorithm
- clause learning sat solvers
- clause learning
- constraint satisfaction problems