On implementing a configware/software SAT solver

This paper presents an implementation of the configware/software SAT solver proposed in de Sousa, Abramovici and da Silva (2001). This is the first actually implemented hardware accelerated solver that can dispense with instance-specific compilation, and is capable of handling SAT formulas of virtually any size.