Masayuki Suzuki, Tsutomu Maruyama. Variable and clause elimination in SAT problems using an FPGA. In Russell Tessier, editor, 2011 International Conference on Field-Programmable Technology, FPT 2011, New Delhi, India, December 12-14, 2011. pages 1-8, IEEE, 2011. [doi]
Abstract is missing.