An FPGA Solver for WSAT Algorithms

Kenji Kanazawa, Tsutomu Maruyama. An FPGA Solver for WSAT Algorithms. In Tero Rissa, Steven J. E. Wilton, Philip Heng Wai Leong, editors, Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005. pages 83-88, IEEE, 2005.

Abstract

Abstract is missing.