A modular CNF-based SAT solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bernardo C. Vieira' in GoogleThis author has not been identified. Look up 'Fabrício Vivas Andrade' in GoogleThis author has not been identified. Look up 'Antônio Otávio Fernandes' in Google

runs on WebDSL