SMPP: Generic SAT Solver over Reconfigurable Hardware Accelerator.
Zhongda YuanYuchun MaJinian BianPublished in: IPDPS Workshops (2012)
Keyphrases
- sat solvers
- reconfigurable hardware
- field programmable gate array
- orders of magnitude
- sat solving
- constraint satisfaction
- low cost
- sat problem
- sat instances
- search strategies
- fine grain
- boolean satisfiability
- hardware implementation
- search space
- hardware software
- boolean formula
- image processing algorithms
- embedded systems
- highly efficient
- parallel implementation
- functional units
- computing systems
- parallel computing
- real time
- phase transition
- special case
- genetic algorithm