Software description: https://github.com/milo168/FPGA25_SAT_Accel A modern CDCL SAT solver on a FPGA Publications: SAT-Accel: A Modern SAT Solver on a FPGAYear: 2026
