Bernardo C. Vieira, Fabrício Vivas Andrade, Antônio Otávio Fernandes. A modular CNF-based SAT solver. In João Antonio Martino, Guido Araujo, Alex Orailoglu, Felipe Klein, editors, Proceedings of the 23rd Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2010, São Paulo, Brazil, September 6-9, 2010. pages 198-203, ACM, 2010. [doi]
Abstract is missing.