An FPGA Solver for Very Large SAT Problems

2007 International Conference on Field Programmable Logic and Applications ◽

10.1109/fpl.2007.4380697 ◽

2007 ◽

Author(s):

Kenji Kanazawa ◽

Tsutomu Maruyama

Download Full-text