A software/reconfigurable hardware SAT solver.
Iouliia SkliarovaAntónio de Brito FerrariPublished in: IEEE Trans. Very Large Scale Integr. Syst. (2004)
Keyphrases
- sat solvers
- reconfigurable hardware
- hardware software
- low cost
- sat solving
- orders of magnitude
- constraint satisfaction
- software systems
- search space
- search strategies
- software development
- sat problem
- sat instances
- hardware implementation
- highly efficient
- boolean formula
- fine grain
- boolean satisfiability
- embedded systems
- hardware and software
- field programmable gate array
- source code
- dynamic programming
- image processing