An FPGA Solver for Very Large SAT Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kenji Kanazawa, Tsutomu Maruyama. An FPGA Solver for Very Large SAT Problems. In Koen Bertels, Walid A. Najjar, Arjan J. van Genderen, Stamatis Vassiliadis, editors, FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007. pages 493-496, IEEE, 2007. [doi]

This author has not been identified. Look up 'Kenji Kanazawa' in GoogleThis author has not been identified. Look up 'Tsutomu Maruyama' in Google

runs on WebDSL