A Configurable Hardware/Software Approach to SAT Solving. - José T. de Sousa; J. M. da Silva; Miron Abramovici (FCCM, 2001)