An FPGA Solver for Large SAT Problems.

Kenji Kanazawa, Tsutomu Maruyama

Browse the full FPL paper archive.