Keyphrases
- sat solvers
- field programmable gate array
- hardware implementation
- hardware architecture
- parallel hardware
- low cost
- hardware design
- dedicated hardware
- sat solving
- single chip
- orders of magnitude
- constraint satisfaction
- max sat
- sat problem
- search space
- search strategies
- propositional satisfiability
- boolean satisfiability
- xilinx virtex
- fpga technology
- search tree
- reconfigurable hardware
- sat instances
- fpga device
- constraint solver
- embedded systems
- parallel computing
- sat encodings
- clause learning
- information retrieval