Fabrício Vivas Andrade
According to our database1,
Fabrício Vivas Andrade
authored at least 8 papers
between 2007 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018
2014
Int. J. Recent Contributions Eng. Sci. IT, 2014
2010
Proceedings of the 23rd Annual Symposium on Integrated Circuits and Systems Design, 2010
2008
PhD thesis, 2008
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