On Implementing a Configware/Software SAT Solver. - N. A. Reis; José T. de Sousa (FCCM, 2002)