FPGA Acceleration of a Stochastic Local Search Portfolio Solver for Boolean Satisfiability. - Christopher Chuvalas; Ranga Vemuri (MWSCAS, 2022)

FPGA-Based Stochastic Local Search Satisfiability Solvers Exploiting High Bandwidth Memory. - Christopher Chuvalas; Ranga Vemuri (VLSI-SoC, 2022)