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]
No references recorded for this publication.
No citations of this publication recorded.