A modular CNF-based SAT solver. - Bernardo C. Vieira; Fabrício Vivas Andrade; Antônio Otávio Fernandes (SBCCI, 2010)