Michael Lo, Mau-Chung Frank Chang, Jason Cong. SAT-Accel: A Modern SAT Solver on a FPGA. In Andrew Putnam, Jing Li 0073, editors, Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2025, Monterey, CA, USA, 27 February 2025 - 1 March 2025. pages 234-246, ACM, 2025. [doi]
Abstract is missing.