Bernardo C. Vieira

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

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