Kenji Kanazawa, Tsutomu Maruyama. An FPGA Solver for Large SAT Problems. In Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), Madrid, Spain, August 28-30, 2006. pages 1-6, IEEE, 2006. [doi]
Abstract is missing.