Author Info
Name
Affiliation
Papers
LEANDRO MAIA SILVA
Univ Fed Minas Gerais, Dept Comp Sci, Belo Horizonte, MG, Brazil
1
Collaborators
Citations 
PageRank 
2
3
0.40
Referers 
Referees 
References 
14
28
12
Title
Citations
PageRank
Year
Improving SAT-based Combinational Equivalence Checking through circuit preprocessing30.402008