Fabrcio Vivas Andrade
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2020
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | IJCNN | A Continuous Restricted Boltzmann Machine and Logistic Regression Framework for Circuit Classification. | Leandro Maia Silva, Fabrcio Vivas Andrade, Luiz Filipe Menezes Vieira |
| 2018 | IJCNN | Arithmetic Circuit Classification Using Convolutional Neural Networks. | Leandro Maia Silva, Fabrcio Vivas Andrade, Antnio Otvio Fernandes, Luiz Filipe Menezes Vieira |
| 2008 | ICCD | Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. | Fabrcio Vivas Andrade, Leandro Maia Silva, Antnio Otvio Fernandes |
| 2007 | DDECS | SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. | Fabrcio Vivas Andrade, Mrcia C. M. Oliveira, Antnio Otvio Fernandes, Claudionor Jos Nunes Coelho Jr. |