Using complementation and resequencing to minimize transitionsRajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira conference 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
Learning Complex Boolean Functions: Algorithms and ApplicationsArlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli conference summary