Fabrício Vivas Andrade

According to our database1, Fabrício Vivas Andrade authored at least 8 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
A Continuous Restricted Boltzmann Machine and Logistic Regression Framework for Circuit Classification.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

2018
Arithmetic Circuit Classification Using Convolutional Neural Networks.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

2014
MIPS X-Ray: A MARS Simulator Plug-in for Teaching Computer Architecture.
Int. J. Recent Contributions Eng. Sci. IT, 2014

2010
A modular CNF-based SAT solver.
Proceedings of the 23rd Annual Symposium on Integrated Circuits and Systems Design, 2010

2008
Contribuições para o problema de verificação de equivalência combinacional.
PhD thesis, 2008

BenCGen: a digital circuit generation tool for benchmarks.
Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, 2008

Improving SAT-based Combinational Equivalence Checking through circuit preprocessing.
Proceedings of the 26th International Conference on Computer Design, 2008

2007
SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse.
Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), 2007


  Loading...