An FPGA Solver for Very Large SAT Problems.

Kenji Kanazawa, Tsutomu Maruyama

Browse the full FPL paper archive.