Leandro Maia Silva

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 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

1 Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: BenCGen: a digital circuit generation tool for benchmarks. SBCCI 2008: 164-169

	2008
2		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
1		Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: BenCGen: a digital circuit generation tool for benchmarks. SBCCI 2008: 164-169

Coauthor Index

1	Fabrício Vivas Andrade	[1] [2]
2	Antônio Otávio Fernandes	[1] [2]