A Configurable Hardware/Software Approach to SAT Solving.

Jos T. de Sousa, J. M. da Silva, Miron Abramovici

Browse the full FCCM paper archive.