Efficient search techniques for the inference of minimum size finite automataArlindo L. Oliveira, J.P.M. Silva conference
Prime implicant computation using satisfiability algorithmsVasco Manquinho, Paulo Flores, J.P.M. Silva, Arlindo L. Oliveira conference
An exact gate assignment algorithm for tree circuits under rise and fall delaysArlindo L. Oliveira, Rajeev Murgai conference
Proceedings of the 5th International Colloquium on Grammatical Inference: Algorithms and ApplicationsArlindo L. Oliveira conference
FSM decomposition by direct circuit manipulation applied to low power designJosé Monteiro, Arlindo L. Oliveira conference
On the Complexity of Power Estimation ProblemsAna T. Freitas, Horácio C. Neto, Arlindo L. Oliveira conference
Using complementation and resequencing to minimize transitionsRajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira conference
A new algorithm for the reduction of incompletely specified finite state machinesJorge Martínez Peña, Arlindo L. Oliveira conference
Learning Complex Boolean Functions: Algorithms and ApplicationsArlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli conference