A SAT Solver Using Software and Reconfigurable Hardware.
Iouliia SkliarovaAntónio de Brito FerrariPublished in: DATE (2002)
Keyphrases
- sat solvers
- reconfigurable hardware
- hardware software
- low cost
- sat solving
- constraint satisfaction
- orders of magnitude
- sat problem
- image processing
- functional units
- boolean satisfiability
- fine grain
- hardware design
- sat instances
- software development
- software systems
- search strategies
- embedded systems
- hardware implementation
- genetic programming
- boolean formula
- search space
- source code
- computer systems
- field programmable gate array
- np hard
- search algorithm
- reinforcement learning
- signal processing
- real time