Fabrício Vivas Andrade

	2010
4		Bernardo C. Vieira, Fabrício Vivas Andrade, Antônio Otávio Fernandes: A modular CNF-based SAT solver. SBCCI 2010: 198-203
	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] [4]
3	Márcia C. M. Oliveira	[1]
4	Leandro Maia Silva	[2] [3]
5	Bernardo C. Vieira	[4]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page