Christopher Chuvalas, Ranga Vemuri. FPGA Acceleration of a Stochastic Local Search Portfolio Solver for Boolean Satisfiability. In 65th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2022, Fukuoka, Japan, August 7-10, 2022. pages 1-4, IEEE, 2022. [doi]
Abstract is missing.