Using complementation and resequencing to minimize transitionsRajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira conference summary
Exact minimization of binary decision diagrams using implicit techniquesArlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto Sangiovanni‐VincentelliIEEE Transactions on Computers journal summary
A new algorithm for the reduction of incompletely specified finite state machinesJorge Martínez Peña, Arlindo L. Oliveira conference summary
Finite state machine decomposition for low powerJosé Monteiro, Arlindo L. Oliveira conference summary