Power optimization of technology-dependent circuits based on symbolic computation of logic implications. - R. Iris Bahar; Ernest T. Lampe; Enrico Macii (ACM Trans. Design Autom. Electr. Syst., 2000)