Márcia C. M. Oliveira

List of publications from the DBLP Bibliography Server - FAQ

2007

1 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: 397-402

2007
1		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: 397-402

Coauthor Index

1	Fabrício Vivas Andrade	[1]
2	Claudionor José Nunes Coelho Jr.	[1]
3	Antônio Otávio Fernandes	[1]