Fabrício Vivas Andrade

	2008
3		Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. ICCD 2008: 40-45
2		Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: BenCGen: a digital circuit generation tool for benchmarks. SBCCI 2008: 164-169
	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	Claudionor José Nunes Coelho Jr.	[1]
2	Antônio Otávio Fernandes	[1] [2] [3]
3	Márcia C. M. Oliveira	[1]
4	Leandro Maia Silva	[2] [3]