SAT-Accel: A Modern SAT Solver on a FPGA.

Michael Lo, Mau-Chung Frank Chang, Jason Cong

Browse the full FPGA paper archive.