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