On Implementing a Configware/Software SAT Solver.

N. A. Reis, Jos T. de Sousa

Browse the full FCCM paper archive.