Tarachand Pagarani, Fatih Kocan, Daniel G. Saab, Jacob A. Abraham. Parallel and scalable architecture for solving SATisfiability on reconfigurable FPGA. In Proceedings of the IEEE 2000 Custom Integrated Circuits Conference, CICC 2000, Orlando, FL, USA, May 21-24, 2000. pages 147-150, IEEE, 2000. [doi]
Abstract is missing.