Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers.
Valery SklyarovIouliia SkliarovaBruno Figueiredo PimentelJoel ArraisPublished in: FPL (2004)
Keyphrases
- hardware software
- sat solvers
- reconfigurable hardware
- hardware design
- hardware and software
- field programmable gate array
- hw sw
- hardware implementation
- design methodology
- embedded systems
- propositional satisfiability
- orders of magnitude
- constraint satisfaction
- sat solving
- multi core processors
- efficient implementation
- search space
- max sat
- low cost
- sat problem
- weighted max sat
- search strategies
- signal processing
- sat instances
- high performance computing
- constraint programming
- clause learning
- scheduling problem
- image processing
- neural network
- real time