FPGA-Based Stochastic Local Search Satisfiability Solvers Exploiting High Bandwidth Memory.
Christopher ChuvalasRanga VemuriPublished in: VLSI-SoC (2022)
Keyphrases
- high bandwidth
- stochastic local search
- application specific
- end to end
- satisfiability problem
- general purpose
- low latency
- high density
- randomly generated
- phase transition
- max sat
- random sat instances
- ibm eservertm
- file system
- mobile terminals
- embedded systems
- hardware implementation
- sat problem
- np complete
- objective function