José T. de Sousa, João P. Marques Silva, Miron Abramovici. A Configurable Hardware/Software Approach to SAT Solving. In The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, Rohnert Park, California, USA, April 29 - May 2, 2001. pages 239-248, IEEE, 2001. [doi]
Abstract is missing.