SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. - Fabrício Vivas Andrade; Márcia C. M. Oliveira; Antônio Otávio Fernandes; Claudionor José Nunes Coelho Jr. (DDECS, 2007)

Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. - Fabrício Vivas Andrade; Leandro Maia Silva; Antônio Otávio Fernandes (ICCD, 2008)

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

Contribuições para o problema de verificação de equivalência combinacional. - Fabrício Vivas Andrade (2008)

A modular CNF-based SAT solver. - Bernardo C. Vieira; Fabrício Vivas Andrade; Antônio Otávio Fernandes (SBCCI, 2010)

MIPS X-Ray: A MARS Simulator Plug-in for Teaching Computer Architecture. - Marcio Roberto Dias Araujo; Flávio Luis Cardeal Pádua; Fabrício Vivas Andrade; Fabio Lucio Correa-Junior (Int. J. Recent Contributions Eng. Sci. IT, 2014)

Arithmetic Circuit Classification Using Convolutional Neural Networks. - Leandro Maia Silva; Fabrício Vivas Andrade; Antônio Otávio Fernandes; Luiz Filipe Menezes Vieira (IJCNN, 2018)

A Continuous Restricted Boltzmann Machine and Logistic Regression Framework for Circuit Classification. - Leandro Maia Silva; Fabrício Vivas Andrade; Luiz Filipe Menezes Vieira (IJCNN, 2020)