Márcia C. M. Oliveira

Publication Activity (10 Years)

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

Publications

Fabrício Vivas Andrade, Márcia C. M. Oliveira, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. DDECS (2007)